From e7d8d6469719f104a6a81544cfbeeb6b3632ff9c Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Mon, 14 Mar 2016 15:24:50 +0100
Subject: [PATCH] [e-acsl-gcc] fix a pair of typos
---
src/plugins/e-acsl/scripts/e-acsl-gcc.sh | 4 ++--
1 file changed, 2 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 99084b7c7df..ed611889380 100755
--- a/src/plugins/e-acsl/scripts/e-acsl-gcc.sh
+++ b/src/plugins/e-acsl/scripts/e-acsl-gcc.sh
@@ -273,7 +273,7 @@ do
OPTION_CC="$1"
shift;
;;
- # Specify EACAL_SHARE directory (where C runtime library lives) by hand
+ # Specify EACSL_SHARE directory (where C runtime library lives) by hand
# rather than compute it
--e-acsl-share)
shift;
@@ -367,7 +367,7 @@ CFLAGS="$OPTION_CFLAGS
-Wno-implicit-function-declaration \
-Wno-empty-body"
-# Disable extra warning for a clang
+# Disable extra warning for clang
if [ "`basename $CC`" = 'clang' ]; then
CFLAGS="-Wno-unknown-warning-option \
-Wno-extra-semi \
--
GitLab