From c56eefd80a740b7d211be9fc4e844f17599ffff2 Mon Sep 17 00:00:00 2001 From: a3hadi Date: Mon, 11 Mar 2024 16:31:36 -0400 Subject: [PATCH] change to make image-push Signed-off-by: a3hadi --- update_examples.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/update_examples.sh b/update_examples.sh index 927bc09a..e4c6d147 100755 --- a/update_examples.sh +++ b/update_examples.sh @@ -97,10 +97,10 @@ if [ -n "$directoryPath" ]; then fi if (( usingBuildPush )); then - traverse_examples "make image" + traverse_examples "make image-push" elif (( usingBuildPushExample )); then cd "./$directoryPath" || exit - if ! make image; then + if ! make image-push; then echo "Error: failed to run make image in $directoryPath" >&2 exit 1 fi