From ec8f653365a261607c9ab7943992e4468d377d37 Mon Sep 17 00:00:00 2001 From: Xiao Wang <24860335+xwang233@users.noreply.github.com> Date: Tue, 29 Aug 2023 11:12:18 -0700 Subject: [PATCH] fixed a error there --- tools/compare_codegen.sh | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/tools/compare_codegen.sh b/tools/compare_codegen.sh index 3e09b6276c0..c063e10736a 100755 --- a/tools/compare_codegen.sh +++ b/tools/compare_codegen.sh @@ -214,4 +214,5 @@ cleanup set +e # exit status of diff is 1 if there are any mismatches echo -e "\n\nDIFF RESULT:\n" diff -qr -x '*.log' "$outdir/$origcommit" "$outdir/$comparecommit" && echo "No difference found" -echo $? + +exit $?