From 53091165431e0b69d8d865179c7c8a083e670345 Mon Sep 17 00:00:00 2001
From: Tahiatul Islam <tahiatul@tahiatuls-mbp.myfiosgateway.com>
Date: Tue, 2 Apr 2024 12:12:46 -0400
Subject: [PATCH] compile script change

---
 check_compilation.sh | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/check_compilation.sh b/check_compilation.sh
index f37656f..b62fe7f 100755
--- a/check_compilation.sh
+++ b/check_compilation.sh
@@ -21,7 +21,11 @@ cd ISSUES || exit 1
 for target in $issue_ids; do
     echo "Target = ${target}"
 
-    cd "${target}/output/" || exit 1
+    cd "${target}/output/"
+    if [ $? -eq 1 ]; then
+      compile_status_json="$compile_status_json\n  \"$target\": \"FAIL\","
+      continue
+    fi
     # check if any directory exists inside output. If no directory there, specimin failed on the input target
     # in that case, ignoring it.
     directory_count="$(find ./ -mindepth 1 -type d | wc -l)"