diff --git a/srcpkgs/splint/template b/srcpkgs/splint/template index 17694459c3e..b22e8c33326 100644 --- a/srcpkgs/splint/template +++ b/srcpkgs/splint/template @@ -12,6 +12,7 @@ license="GPL-2" distfiles="http://www.splint.org/downloads/$pkgname-$version.src.tgz" checksum=c78db643df663313e3fa9d565118391825dd937617819c6efc7966cdf444fb0a disable_parallel_build=yes +nocross=yes post_extract() { sed -i 's/__pid_t/pid_t/g' src/osd.c