Merge pull request #7733 from GinjaNinja32/sh_is_not_bash

Fix clean_map_git.sh
This commit is contained in:
Zuhayr
2015-01-08 08:57:34 +10:30
Regular → Executable
+2 -2
View File
@@ -1,4 +1,4 @@
#!/bin/sh
#!/bin/bash
for i in {1..6}
do
@@ -7,4 +7,4 @@ do
git show HEAD:maps/$MAPFILE > tmp.dmm
java -jar MapPatcher.jar -clean tmp.dmm '../../maps/'$MAPFILE '../../maps/'$MAPFILE
rm tmp.dmm
done
done