wallenstein/void-packages
1
0
Fork 0
mirror of https://github.com/void-linux/void-packages.git synced 2025-06-09 00:23:52 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions 2

splint: nocross

Browse source
This commit is contained in:
Michael Gehring 2016-03-11 18:24:49 +00:00
parent 5a60336c2e
commit 792710aa04
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
srcpkgs/splint/template
View file

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