Skip to content
GitLab
Projects
Groups
Snippets
Help
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
O
Ocarina
Project overview
Project overview
Details
Activity
Releases
Repository
Repository
Files
Commits
Branches
Tags
Contributors
Graph
Compare
Issues
2
Issues
2
List
Boards
Labels
Service Desk
Milestones
Merge Requests
0
Merge Requests
0
Operations
Operations
Incidents
Analytics
Analytics
Repository
Value Stream
Wiki
Wiki
Members
Members
Collapse sidebar
Close sidebar
Activity
Graph
Create a new issue
Commits
Issue Boards
Open sidebar
TASTE
Ocarina
Commits
3912f44c
Commit
3912f44c
authored
Feb 11, 2017
by
yoogx
Browse files
Options
Browse Files
Download
Email Patches
Plain Diff
* Typo, restore "-er" flag
For issue #86
parent
54184ad0
Changes
1
Hide whitespace changes
Inline
Side-by-side
Showing
1 changed file
with
2 additions
and
2 deletions
+2
-2
src/main/ocarina-cmd_line.adb
src/main/ocarina-cmd_line.adb
+2
-2
No files found.
src/main/ocarina-cmd_line.adb
View file @
3912f44c
...
...
@@ -6,7 +6,7 @@
-- --
-- B o d y --
-- --
-- Copyright (C) 2015-201
6
ESA & ISAE. --
-- Copyright (C) 2015-201
7
ESA & ISAE. --
-- --
-- Ocarina is free software; you can redistribute it and/or modify under --
-- terms of the GNU General Public License as published by the Free Soft- --
...
...
@@ -317,7 +317,7 @@ package body Ocarina.Cmd_Line is
"-ec"
,
Help
=>
"Compute coverage metrics"
);
-- -er flag
Define_Switch
(
Ocarina_Options
,
Backends
.
Do_
Coverage
_Test
'
Access
,
Define_Switch
(
Ocarina_Options
,
Backends
.
Do_
Regression
_Test
'
Access
,
"-er"
,
Help
=>
"Execute system"
);
-- -asn1 flag
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment