From af576b5589d17d6b40c0c803124cd936e1690479 Mon Sep 17 00:00:00 2001 From: jiangtong1000 Date: Mon, 18 Nov 2024 09:43:06 -0600 Subject: [PATCH] revert run sh --- example/run.sh | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/example/run.sh b/example/run.sh index 11247c10..baa5d556 100644 --- a/example/run.sh +++ b/example/run.sh @@ -16,9 +16,7 @@ do exit_code=$? echo ============================$python_args============================= # if not the time out exit code or normal exit code - if [ $exit_code -ne 124 ]; then - echo "The script timed out" >&2 - elif [ $exit_code -ne 0 ]; then + if [ $exit_code -ne 124 ] && [ $exit_code -ne 0 ]; then echo "The script failed with exit code $exit_code" >&2 code=1 fi