Fix clean_map_git.sh

2026-07-14 00:26:02 +01:00 · 2015-01-07 20:22:55 +00:00
parent 2734765963
commit cb11a95aa7
1 changed files with 2 additions and 2 deletions
@@ -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