From 46f6008f76177472d974e07ee858781f2a856634 Mon Sep 17 00:00:00 2001
From: Kostyantyn Vorobyov <kostyantyn.vorobyov@cea.fr>
Date: Fri, 5 Feb 2016 15:19:16 +0100
Subject: [PATCH] Added a few more ignored warnings to the e-acsl-gcc.sh script

---
 src/plugins/e-acsl/scripts/e-acsl-gcc.sh | 10 ++++++++--
 1 file changed, 8 insertions(+), 2 deletions(-)

diff --git a/src/plugins/e-acsl/scripts/e-acsl-gcc.sh b/src/plugins/e-acsl/scripts/e-acsl-gcc.sh
index 44a913ff6c1..f1b8bee53f3 100755
--- a/src/plugins/e-acsl/scripts/e-acsl-gcc.sh
+++ b/src/plugins/e-acsl/scripts/e-acsl-gcc.sh
@@ -98,7 +98,7 @@ Options:
   -s <file>  redirect all output to <file>
   -P         compile executable without debug features
   -I <file>  specify Frama-C executable [frama-c]
-  -G <file>  specify GCC executable [gcc]
+  -G <file>  specify C compiler executable [gcc]
 
 Notes:
   This help page shows only basic options.
@@ -335,7 +335,13 @@ CFLAGS="$OPTION_CFLAGS
   -Wno-unused-function \
   -Wno-unused-variable \
   -Wno-unused-but-set-variable \
-  -Wno-implicit-function-declaration"
+  -Wno-implicit-function-declaration \
+  -Wno-unknown-warning-option \
+  -Wno-extra-semi \
+  -Wno-tautological-compare \
+  -Wno-gnu-empty-struct \
+  -Wno-incompatible-pointer-types-discards-qualifiers \
+  -Wno-empty-body"
 CPPFLAGS="$OPTION_CPPFLAGS"
 LDFLAGS="$OPTION_LDFLAGS"
 
-- 
GitLab