diff --git a/repo.sh b/repo.sh index ecfff8ee282e7d3e385894a1b86e3be5294fe60c..a0adabed451e8c8c695e8e2a3f5cc70cd972e286 100755 --- a/repo.sh +++ b/repo.sh @@ -10,6 +10,9 @@ do if [ "$arg" == "--debug" ] then DEBUG=--debug + elif [ "$arg" == "--nonstop" ] + then + set +e else recipes+=" $arg" fi