Skip to content

Commit 933bb26

Browse files
committed
Expose the setup-integration subcommand
1 parent 095e59f commit 933bb26

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

Diff for: tools/gnatcov/command_line.ads

+1-1
Original file line numberDiff line numberDiff line change
@@ -391,7 +391,7 @@ package Command_Line is
391391
Pattern =>
392392
"--files=<files_of_interest> --compilers=<compiler>"
393393
& " [--output-dir=<dir>]",
394-
Internal => True));
394+
Internal => False));
395395

396396
Bool_Infos : constant Bool_Option_Info_Array :=
397397
(Opt_Verbose => Create

0 commit comments

Comments
 (0)