skip compilation

tahiat · Apr 12, 2024 · 945e1d1 · 945e1d1
1 parent 3ca40ed
commit 945e1d1
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