diff options
| author | van Hauser <vh@thc.org> | 2021-11-10 11:28:53 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-11-10 11:28:53 +0100 |
| commit | 6570327c2b7be5a8e6f8c396ae9de343ef15a414 (patch) | |
| tree | 2176c6214d08d6876613180dda80fbaa351303c6 | |
| parent | 45748fd7522159d95fc54bc5ea2e5bfc978813e3 (diff) | |
| parent | 8a861d0947b47af4412077ed0d8422f2047314fb (diff) | |
| download | afl++-6570327c2b7be5a8e6f8c396ae9de343ef15a414.tar.gz | |
Merge pull request #1154 from adrianherrera/optimin/build-script-fix
optimin: fix optimin git clone
| -rwxr-xr-x | utils/optimin/build_optimin.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/utils/optimin/build_optimin.sh b/utils/optimin/build_optimin.sh index 9480f966..51d1bd26 100755 --- a/utils/optimin/build_optimin.sh +++ b/utils/optimin/build_optimin.sh @@ -102,7 +102,7 @@ else CNT=1 while [ '!' -d EvalMaxSAT -a "$CNT" -lt 4 ]; do echo "Trying to clone EvalMaxSAT (attempt $CNT/3)" - git clone "$GRAMMAR_REPO" + git clone "$EVALMAXSAT_REPO" CNT=`expr "$CNT" + 1` done } |