From 3fa9b3c5a4f17e123aa21bfaeab80a5b1807e1d2 Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Fri, 5 Feb 2016 15:37:29 +0100
Subject: [PATCH] [testrun] remove meaningless message in non-debug mode
---
src/plugins/e-acsl/scripts/testrun.sh | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/src/plugins/e-acsl/scripts/testrun.sh b/src/plugins/e-acsl/scripts/testrun.sh
index ab14bb1b24a..ae5957ac2ff 100755
--- a/src/plugins/e-acsl/scripts/testrun.sh
+++ b/src/plugins/e-acsl/scripts/testrun.sh
@@ -60,7 +60,9 @@ RUNS=1
# Error reporting
error() {
echo "Error: $1" 1>&2
- echo "See $2 for details" 1>&2
+ if [ -n "$DEBUG" ]; then
+ echo "See $2 for details" 1>&2
+ fi
exit 1
}
--
GitLab