Skip to content
Snippets Groups Projects
Commit 518f80e0 authored by Julien Signoles's avatar Julien Signoles
Browse files

[e-acsl] update man page

parent fe852747
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/plugins/e-acsl/man/e-acsl-gcc.sh.1
+ 1
− 2
View file @ 518f80e0
...@@ -206,8 +206,7 @@ executable found in the system path is used. ...@@ -206,8 +206,7 @@ executable found in the system path is used.
.TP .TP
.B --then .B --then
separate with a \fB-then\fP the first \fBFrama-C\fP options from the actual separate with a \fB-then\fP the first \fBFrama-C\fP options from the actual
launch of the \fBE-ACSL\fP plugin. Prepends \fB-e-acsl-prepare\fP to the list launch of the \fBE-ACSL\fP plugin.
of options passed to \fBFrama-C\fP.
.TP .TP
.B --e-acsl-extra=\fI<OPTS> .B --e-acsl-extra=\fI<OPTS>
add \fI<OPTS>\fP to the list of options that will be given to the \fBE-ACSL\fP add \fI<OPTS>\fP to the list of options that will be given to the \fBE-ACSL\fP
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment