From a74e4e1378a5226df8e7ee316a0183832fb4247f Mon Sep 17 00:00:00 2001
From: Kostyantyn Vorobyov <kostyantyn.vorobyov@cea.fr>
Date: Fri, 10 Jun 2016 15:04:43 +0200
Subject: [PATCH] Update e-acsl-share man page

---
 src/plugins/e-acsl/man/e-acsl-gcc.sh.1 | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/plugins/e-acsl/man/e-acsl-gcc.sh.1 b/src/plugins/e-acsl/man/e-acsl-gcc.sh.1
index cda898dd5cb..46a5565d776 100644
--- a/src/plugins/e-acsl/man/e-acsl-gcc.sh.1
+++ b/src/plugins/e-acsl/man/e-acsl-gcc.sh.1
@@ -79,6 +79,10 @@ names of the executables generated from the original
 and the modified programs are
 \fIa.out\fP and \fIa.out.e-acsl\fP respectively.
 .TP
+.B --oexec-e-acsl=\fI<FILE>
+name of the executable file generated from the \fBE-ACSL\fP-instrumented file.
+Unless specified, the executable is named as inidicated by the \fB--oexec\fP option.
+.TP
 .B -f, --frama-c-only
 run input source files through \fBFrama-C\fP without \fBE-ACSL\fP instrumentations.
 .TP
-- 
GitLab