diff options
Diffstat (limited to 'custom_mutators/gramatron')
| -rwxr-xr-x | custom_mutators/gramatron/build_gramatron_mutator.sh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/custom_mutators/gramatron/build_gramatron_mutator.sh b/custom_mutators/gramatron/build_gramatron_mutator.sh index 677e4548..9952e7f5 100755 --- a/custom_mutators/gramatron/build_gramatron_mutator.sh +++ b/custom_mutators/gramatron/build_gramatron_mutator.sh @@ -115,9 +115,9 @@ if [ $? -eq 0 ]; then git submodule update ./json-c 2>/dev/null # ignore errors else echo "[*] cloning json-c" - test -d json-c || { + test -d json-c/.git || { CNT=1 - while [ '!' -d json-c -a "$CNT" -lt 4 ]; do + while [ '!' -d json-c/.git -a "$CNT" -lt 4 ]; do echo "Trying to clone json-c (attempt $CNT/3)" git clone "$JSONC_REPO" CNT=`expr "$CNT" + 1` @@ -125,7 +125,7 @@ else } fi -test -d json-c || { echo "[-] not checked out, please install git or check your internet connection." ; exit 1 ; } +test -d json-c/.git || { echo "[-] not checked out, please install git or check your internet connection." ; exit 1 ; } echo "[+] Got json-c." test -e json-c/.libs/libjson-c.a || { |