From 5643083132810293630f9ae4f847df996328c339 Mon Sep 17 00:00:00 2001
From: Pietro Incardona <incardon@mpi-cbg.de>
Date: Tue, 6 Nov 2018 15:15:56 +0100
Subject: [PATCH] Fixing wrong report in case of fail

---
 configure | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

diff --git a/configure b/configure
index 83c9d09..692cfad 100755
--- a/configure
+++ b/configure
@@ -534,10 +534,13 @@ if [ $? != 0 ]; then
 	# Read the error code and exit with that
 	if [ -f ../error_code ]; then
 	  ecod=$(cat ../error_code)
-	  echo "Analyze error $ecod"
-	  exit $ecod
+	  if [ x"$ecod" == x"0" ]; then
+	    exit 1
+	  else
+	    echo "Analyze error $ecod"
+	    exit $ecod
+	  fi
 	else
-	  echo "General error"
 	  exit 1
 	fi
 fi
-- 
2.22.0