diff --git a/tmp/update-manifest.sh b/tmp/update-manifest.sh index 856a3408c..b9364e4e7 100755 --- a/tmp/update-manifest.sh +++ b/tmp/update-manifest.sh @@ -242,9 +242,9 @@ else fi echo 1>&2 -echo "$(basename "$0"): now will run ./run_all.sh -v $CAP_D_FLAG ./gen_winner_json.sh -v $CAP_D_FLAG" 1>&2 +echo "$(basename "$0"): now will run ./run_all.sh -v $CAP_D_FLAG ./gen_winner_json.sh" 1>&2 echo "NOTE: this step will take a while." 1>&2 -if ! ./run_all.sh -v "$CAP_D_FLAG" ./gen_winner_json.sh -v $CAP_D_FLAG; then +if ! ./run_all.sh -v "$CAP_D_FLAG" ./gen_winner_json.sh; then echo "problem with ./run_all.sh, fix manifest and try again." 1>&2 exit 5 fi