Merge branch 'topic/1237' into 'master'

gnat_compare: spawn gprbuild in build only mode Closes #1237 See merge request eng/libadalang/libadalang!1518
AdaCore · Feb 12, 2024 · 2242467 · 2242467
2 parents 86751b6 + 5324b35
commit 2242467
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/testsuite/ada/gnat_compare/gnat_compare.adb b/testsuite/ada/gnat_compare/gnat_compare.adb
@@ -284,6 +284,7 @@ procedure GNAT_Compare is
          Put_Line ("Could not locate gprbuild on the PATH");
       end if;
 
+      Args.Append (+"-c");
       Args.Append (+"-q");
       Args.Append (+"-p");
       Args.Append (+"-P" & Project_File);