X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/077d44586061e31ae480c06e6977d61fe4f32078..fc97bef41c5cbd252e79ba8f5f763120f728d1d5:/fixBinaryDist.sh diff --git a/fixBinaryDist.sh b/fixBinaryDist.sh index eebc770..22e82f2 100755 --- a/fixBinaryDist.sh +++ b/fixBinaryDist.sh @@ -19,5 +19,8 @@ cp Makefile.binary.in Makefile.in #run these if possible... autoconf automake -mkdir src -ln -s ../preBuilt/splint src/splint +mkdir src || echo "COULD NOT MAKE src tar ball may be incorrect" +echo "Created this file because some versions of tar are too simple include this directory without it" > src/dummy + +# Need to do this in the makefile because the tar command in make dist wants to derefence symlinks +#ln -s ../bin/splint src/splint