Skip to content

Commit d5ced45

Browse files
committed
setup-integration: support dump configuration options
The setup-integration command should readily support these options as they are taken into account when loading the configuration file generated by `gnatcov setup` (which `gnatcov setup-integration` uses to determine dump configuration options).
1 parent 9ff7e57 commit d5ced45

File tree

1 file changed

+5
-0
lines changed

1 file changed

+5
-0
lines changed

tools/gnatcov/command_line.ads

+5
Original file line numberDiff line numberDiff line change
@@ -525,6 +525,7 @@ package Command_Line is
525525
& " variations).",
526526
Commands => (Cmd_Setup
527527
| Cmd_Instrument_Project
528+
| Cmd_Setup_Integration
528529
| Cmd_Instrument_Main => True,
529530
others => False),
530531
Internal => False),
@@ -835,6 +836,7 @@ package Command_Line is
835836
& " for non-native programs.",
836837
Commands => (Cmd_Setup
837838
| Cmd_Instrument_Project
839+
| Cmd_Setup_Integration
838840
| Cmd_Instrument_Main => True,
839841
others => False),
840842
At_Most_Once => False,
@@ -847,6 +849,7 @@ package Command_Line is
847849
& " filename for created source traces.",
848850
Commands => (Cmd_Setup
849851
| Cmd_Instrument_Project
852+
| Cmd_Setup_Integration
850853
| Cmd_Instrument_Main => True,
851854
others => False),
852855
At_Most_Once => False,
@@ -857,6 +860,7 @@ package Command_Line is
857860
& " filename prefix for created source traces.",
858861
Commands => (Cmd_Setup
859862
| Cmd_Instrument_Project
863+
| Cmd_Setup_Integration
860864
| Cmd_Instrument_Main => True,
861865
others => False),
862866
At_Most_Once => False,
@@ -868,6 +872,7 @@ package Command_Line is
868872
& " filename tag for created source traces.",
869873
Commands => (Cmd_Setup
870874
| Cmd_Instrument_Project
875+
| Cmd_Setup_Integration
871876
| Cmd_Instrument_Main => True,
872877
others => False),
873878
At_Most_Once => False,

0 commit comments

Comments
 (0)