From 44446f91c1c5af90d8a4c790fd262be44d8002f8 Mon Sep 17 00:00:00 2001
From: Boming Zhang <bomingzh@sjtu.edu.cn>
Date: Sat, 31 May 2025 08:53:11 -0400
Subject: [PATCH] feat(scripts): allow command failed
---
scripts/run_foreach_test_repos.sh | 2 ++
1 file changed, 2 insertions(+)
diff --git a/scripts/run_foreach_test_repos.sh b/scripts/run_foreach_test_repos.sh
index 9710f5b..90f15de 100755
--- a/scripts/run_foreach_test_repos.sh
+++ b/scripts/run_foreach_test_repos.sh
@@ -11,7 +11,9 @@ for submodule in $submodules; do
repo_name=$(echo $url | rev | cut -d'/' -f 1 | rev | cut -d'.' -f 1)
submodule_dir="$submodules_dir/$repo_name/$submodule"
cd $submodule_dir
+ set +e
eval "$command"
+ set -e
if [[ $command == $JOJ3 ]]; then
if [ -f "./expected.json" ]; then
mv -f "joj3_result.json" "expected.json"