From 5d4f9ff907cc0dfb3056a27618bb43a195e31b06 Mon Sep 17 00:00:00 2001 From: Cody Boone Ferguson <53008573+xexyl@users.noreply.github.com> Date: Fri, 9 Feb 2024 06:01:03 -0800 Subject: [PATCH] update manifest as per recent file changes --- tmp/update-manifest.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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