Clean the source dir from git stuff in the externals before publishing

This commit is contained in:
Jorrit Wronski
2014-12-20 17:20:33 +01:00
parent 50df77500d
commit 798a588f4d

View File

@@ -66,7 +66,8 @@ else
pushd "$TMPSDIR"
git reset --hard HEAD
python "dev/generate_headers.py"
rm -rf .git*
#rm -rf .git*
find . -iwholename "*/.git*" -exec rm -r {} \;
cd ..
rm $SRCFOLDER/CoolProp_sources.zip
zip -r $SRCFOLDER/CoolProp_sources.zip $(basename $TMPSDIR)