From d85b8701ef91c35b7f527e7f74ad1ee29a90ac81 Mon Sep 17 00:00:00 2001
From: Basile Desloges <basile.desloges@cea.fr>
Date: Mon, 8 Feb 2021 18:24:27 +0100
Subject: [PATCH] [eacsl] Remove mention of -p option in wrapper script
The `-p` option does not exist.
---
src/plugins/e-acsl/scripts/e-acsl-gcc.comp | 2 +-
src/plugins/e-acsl/scripts/e-acsl-gcc.sh | 1 -
2 files changed, 1 insertion(+), 2 deletions(-)
diff --git a/src/plugins/e-acsl/scripts/e-acsl-gcc.comp b/src/plugins/e-acsl/scripts/e-acsl-gcc.comp
index ba42f3854ca..308b6c59819 100644
--- a/src/plugins/e-acsl/scripts/e-acsl-gcc.comp
+++ b/src/plugins/e-acsl/scripts/e-acsl-gcc.comp
@@ -29,7 +29,7 @@ _eacsl_gcc() {
prev="${COMP_WORDS[COMP_CWORD-1]}"
opts="
- -i -C -p -d -o -O -v -V -f -E -L -M -l -e -g -q -s -F -P -N -D -I -G -X -a
+ -i -C -d -o -O -v -V -f -E -L -M -l -e -g -q -s -F -P -N -D -I -G -X -a
-h -c -T -k
--verbose= --debug= --debug-log= --logfile= --quiet --rt-debug --help
--rt-verbose --check --then --keep-going --fail-with-code --external-assert=
diff --git a/src/plugins/e-acsl/scripts/e-acsl-gcc.sh b/src/plugins/e-acsl/scripts/e-acsl-gcc.sh
index f446a9f3c49..6ab2349458c 100755
--- a/src/plugins/e-acsl/scripts/e-acsl-gcc.sh
+++ b/src/plugins/e-acsl/scripts/e-acsl-gcc.sh
@@ -344,7 +344,6 @@ Options:
-e pass additional options to the prepreprocessor
-E pass additional arguments to the Frama-C preprocessor
-F pass additional options to the Frama-C command line
- -p output the generated code to STDOUT
-o <file> output the generated code to <file> [a.out.frama.c]
-O <file> output the generated executables to <file> [a.out, a.out.e-acsl]
-M maximize memory-related instrumentation
--
GitLab