correct build file changes for Time

rjust · Oct 16, 2023 · 7539f11 · 7539f11
1 parent 43790d1
commit 7539f11
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/framework/test/test_verify_bugs.sh b/framework/test/test_verify_bugs.sh
@@ -113,11 +113,11 @@ for bid in $(echo $BUGS); do
         vid=${bid}$v
         defects4j checkout -p $PID -v "$vid" -w "$work_dir" || die "checkout: $PID-$vid"
         case $PID in
-            Cli)
+            Cli|Time)
                 # doesn't always exist
                 sed_cmd "s/source=\"1\.[1-5]\"/source=\"1.6\"/" $work_dir/maven-build.xml
                 sed_cmd "s/target=\"1\.[1-5]\"/target=\"1.6\"/" $work_dir/maven-build.xml
-                # only needed for 22
+                # only used when no maven-build.xml
                 sed_cmd "s/source=\"1\.[1-5]\"/source=\"1.6\"/" $work_dir/build.xml
                 sed_cmd "s/target=\"1\.[1-5]\"/target=\"1.6\"/" $work_dir/build.xml
                 ;;
@@ -128,7 +128,7 @@ for bid in $(echo $BUGS); do
             Codec)
                 sed_cmd "s/1\.[1-5]/1.6/" $work_dir/default.properties
                 ;;
-            Compress|Csv|Jsoup|Time)
+            Compress|Csv|Jsoup)
                 sed_cmd "s/source=\"1\.[1-5]\"/source=\"1.6\"/" $work_dir/maven-build.xml
                 sed_cmd "s/target=\"1\.[1-5]\"/target=\"1.6\"/" $work_dir/maven-build.xml
                 ;;