Merge branch 'topic/libadalang-internal-testsuite/13' into 'master'

gnat_compare: fix short flag for --skip-gprclean option See merge request eng/libadalang/libadalang!1606
AdaCore · Apr 3, 2024 · d733b00 · d733b00
2 parents cae90aa + 6447a67
commit d733b00
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/testsuite/ada/gnat_compare/gnat_compare.adb b/testsuite/ada/gnat_compare/gnat_compare.adb
@@ -75,7 +75,7 @@ procedure GNAT_Compare is
          "Skip the build of the project to process");
 
       package Skip_GPRclean is new Parse_Flag
-        (App.Args.Parser, "-C", "--skip-gprclean",
+        (App.Args.Parser, "-sc", "--skip-gprclean",
          "Skip the run of gprclean at the end of gnat_compare execution");
    end Args;