From 49262997fc8937a1b66ed21a0593740d9af1c12b Mon Sep 17 00:00:00 2001
From: Kostyantyn Vorobyov <kostyantyn.vorobyov@cea.fr>
Date: Mon, 21 Mar 2016 14:52:13 +0100
Subject: [PATCH] [testrun.sh] Minor stylistic corrections
---
src/plugins/e-acsl/scripts/testrun.sh | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/plugins/e-acsl/scripts/testrun.sh b/src/plugins/e-acsl/scripts/testrun.sh
index 3d285b76d8f..a24f4b5f27b 100755
--- a/src/plugins/e-acsl/scripts/testrun.sh
+++ b/src/plugins/e-acsl/scripts/testrun.sh
@@ -90,7 +90,7 @@ error() {
exit 1
}
- # Do a clean-up on exit
+# Do a clean-up on exit
trap "clean" EXIT HUP INT QUIT TERM
# Run executable and report results
@@ -141,7 +141,7 @@ run_test() {
# Run GMP tests if specified
run_test "$EXTRA"
-if test -n "$GMP"; then
+if [ -n "$GMP" ]; then
run_test "--gmp $EXTRA"
fi
exit 0
--
GitLab