Merge pull request #7 from theron-wang/main

Wrong path for `na-97`
njit-jerse · Jul 29, 2024 · 208b9c7 · 208b9c7
2 parents 4fb8e17 + 2acd522
commit 208b9c7
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/check_compilation.bat b/check_compilation.bat
@@ -105,7 +105,7 @@ for %%t in (!issue_ids!) do (
          set "JAVA_FILES=!JAVA_FILES! %%F"
       )
       if "!testcase!"=="na-97" do (
-         set "JAVA_FILES=!JAVA_FILES! --patch-module java.base=src"
+         set "JAVA_FILES=!JAVA_FILES! --patch-module java.base=jdk/src"
       )
       javac -classpath "%SPECIMIN%\src\test\resources\shared\checker-qual-3.42.0.jar" !JAVA_FILES!
       set javac_status=!errorlevel!

diff --git a/check_compilation.sh b/check_compilation.sh
@@ -60,7 +60,7 @@ for target in $issue_ids; do
     # javac relies on word splitting
     # shellcheck disable=SC2046
     if [ "$target" = "na-97" ]; then
-      javac -classpath "$SPECIMIN/src/test/resources/shared/checker-qual-3.42.0.jar" $(find . -name "*.java") --patch-module java.base=src
+      javac -classpath "$SPECIMIN/src/test/resources/shared/checker-qual-3.42.0.jar" $(find . -name "*.java") --patch-module java.base=jdk/src
     else
       javac -classpath "$SPECIMIN/src/test/resources/shared/checker-qual-3.42.0.jar" $(find . -name "*.java")
     fi