diff options
| author | vanhauser-thc <vh@thc.org> | 2021-07-21 09:55:22 +0200 |
|---|---|---|
| committer | vanhauser-thc <vh@thc.org> | 2021-07-21 09:55:22 +0200 |
| commit | 60cbe5b4bec445438718d27dc0cfda6a4d5de81e (patch) | |
| tree | 43b0af8d301ae31c8874eb94b17fb33b7ba95170 /utils/optimin/build_optimin.sh | |
| parent | fa2b164429f8488bf8a360c20933c7db238ed17c (diff) | |
| download | afl++-60cbe5b4bec445438718d27dc0cfda6a4d5de81e.tar.gz | |
optimin nits
Diffstat (limited to 'utils/optimin/build_optimin.sh')
| -rwxr-xr-x | utils/optimin/build_optimin.sh | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/utils/optimin/build_optimin.sh b/utils/optimin/build_optimin.sh index 7397aa45..9480f966 100755 --- a/utils/optimin/build_optimin.sh +++ b/utils/optimin/build_optimin.sh @@ -122,9 +122,10 @@ echo echo "[+] EvalMaxSAT successfully prepared!" echo "[+] Building OptiMin now." mkdir -p build -cd build -cmake .. -DLLVM_DIR=`$LLVM_CONFIG --cmakedir` -make -j$CORES +cd build || exit 1 +cmake .. -DLLVM_DIR=`$LLVM_CONFIG --cmakedir` || exit 1 +make -j$CORES || exit 1 cd .. echo +cp -fv build/src/optimin . || exit 1 echo "[+] OptiMin successfully built!" |