From b14e0625833d3f9f805b4604fa116c2f8e46c2dc Mon Sep 17 00:00:00 2001
From: Kostyantyn Vorobyov <kostyantyn.vorobyov@cea.fr>
Date: Fri, 5 Feb 2016 14:12:42 +0100
Subject: [PATCH] Fixed indentation issues in e-acsl-gcc.sh
---
src/plugins/e-acsl/scripts/e-acsl-gcc.sh | 32 ++++++++++++------------
1 file changed, 16 insertions(+), 16 deletions(-)
diff --git a/src/plugins/e-acsl/scripts/e-acsl-gcc.sh b/src/plugins/e-acsl/scripts/e-acsl-gcc.sh
index d8dbbe6faa7..22beca75194 100755
--- a/src/plugins/e-acsl/scripts/e-acsl-gcc.sh
+++ b/src/plugins/e-acsl/scripts/e-acsl-gcc.sh
@@ -144,16 +144,16 @@ do
;;
# Redirect all output to a given file
--logfile|-s)
- shift;
- exec > $1
- exec 2> $1
- shift;
+ shift;
+ exec > $1
+ exec 2> $1
+ shift;
;;
# Pass an option to a Frama-C invocation
--frama-c-extra|-F)
- shift;
- FRAMAC_FLAGS="$FRAMAC_FLAGS $1"
- shift;
+ shift;
+ FRAMAC_FLAGS="$FRAMAC_FLAGS $1"
+ shift;
;;
# Do compile instrumented code
--compile|-c)
@@ -254,21 +254,21 @@ do
OPTION_BUILTINS=""
;;
-D|--debug-log)
- shift;
- OPTION_DEBUG_LOG_MACRO="-DE_ACSL_DEBUG_LOG=$1"
- shift;
+ shift;
+ OPTION_DEBUG_LOG_MACRO="-DE_ACSL_DEBUG_LOG=$1"
+ shift;
;;
# Supply Frama-C executable name
-I|--frama-c)
- shift;
- OPTION_FRAMAC="$1"
- shift;
+ shift;
+ OPTION_FRAMAC="$1"
+ shift;
;;
# Supply GCC executable name
-G|--gcc)
- shift;
- OPTION_CC="$1"
- shift;
+ shift;
+ OPTION_CC="$1"
+ shift;
;;
# A memory model to link against
-m|--memory-model)
--
GitLab