.. but now it works

This commit is contained in:
Jorrit Wronski
2014-12-20 17:22:34 +01:00
parent 798a588f4d
commit 3206734a65

View File

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