no need to rm folder

This commit is contained in:
Dominik Maier
2020-04-18 23:16:00 +02:00
parent 19d0961020
commit 856a59901e
2 changed files with 1 additions and 3 deletions

View File

@ -154,8 +154,6 @@ if [ $? -eq 0 ]; then
git submodule update 2>/dev/null # ignore errors
else
echo "[*] cloning unicornafl"
rm -rf unicornafl # workaround for travis ... sadly ...
#test -d unicorn && { cd unicorn && { git stash ; git pull ; cd .. ; } }
test -d unicornafl || {
CNT=1
while [ '!' -d unicornafl -a "$CNT" -lt 4 ]; do