Merge pull request #48 from tahiat/skiptcompile

skip compilation
tahiat · Apr 13, 2024 · 8252312 · 8252312
2 parents 3ca40ed + 945e1d1
commit 8252312
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/check_compilation.sh b/check_compilation.sh
@@ -39,6 +39,8 @@ issues_root=`pwd`
 
 for target in $issue_ids; do
     echo "Target = ${target}"
+
+   if [ "$target" = "jdk-8319461" ]; then continue; fi
 
     cd "${target}/${min_program_dir}/"
     if [ $? -eq 1 ]; then