commit | db529a71335176db64b18b98228fdd7f03a8c24b | [log] [tgz] |
---|---|---|
author | kareefardi <kareem.farid@efabless.com> | Wed May 10 13:24:46 2023 +0300 |
committer | kareefardi <kareem.farid@efabless.com> | Wed May 10 13:24:46 2023 +0300 |
tree | 3c34eca1098d8ca64cd340919f7895f8aa8b558a | |
parent | c1e2118846fd216b2c065a216950e75d2d67ccb8 [diff] |
++
diff --git a/scripts/download.sh b/scripts/download.sh index f25eb2d..61e351c 100755 --- a/scripts/download.sh +++ b/scripts/download.sh
@@ -76,7 +76,8 @@ else # git clone $1 $2 # git checkout $3 - git clone --branch $3 --single-branch $1 $2 + { git clone --branch $3 --single-branch $1 $2; } || \ + { git clone $1 $2 && git -C $2 checkout $3; } fi else git clone --depth 1 $1 $2