fix e606b795d

This commit is contained in:
Juergen E. Fischer 2018-02-19 09:43:33 +01:00
parent 39e1c46beb
commit d7edf6c58a

View File

@ -102,6 +102,8 @@ if [ -d "$2" ]; then
elif [ "$action" != "pull" ]; then
echo Build directory not found
exit 1
else
shift
fi
trap cleanup EXIT