From cb11a95aa7d5b87ef257eca82bfbbab059ffd074 Mon Sep 17 00:00:00 2001 From: = Date: Wed, 7 Jan 2015 20:22:55 +0000 Subject: [PATCH] Fix clean_map_git.sh --- tools/mapmerge/clean_map_git.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) mode change 100644 => 100755 tools/mapmerge/clean_map_git.sh diff --git a/tools/mapmerge/clean_map_git.sh b/tools/mapmerge/clean_map_git.sh old mode 100644 new mode 100755 index 1a0c9d65924..e8ad8165e49 --- a/tools/mapmerge/clean_map_git.sh +++ b/tools/mapmerge/clean_map_git.sh @@ -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 \ No newline at end of file +done