From e23ec0032417f75e76e65d2583bf0f6bc91531ea Mon Sep 17 00:00:00 2001
From: Incardona Pietro <incardon@mpi-cbg.de>
Date: Mon, 5 Apr 2021 11:40:48 +0200
Subject: [PATCH] Adding error when make install fail
---
build.sh | 3 +++
1 file changed, 3 insertions(+)
diff --git a/build.sh b/build.sh
index 015db6de8..cdf2e0cff 100755
--- a/build.sh
+++ b/build.sh
@@ -111,6 +111,9 @@ fi
# Check of we have to do a make install
if [ x"$comp_type" == x"full" ]; then
make install
+ if [ x"$?" != x"0" ]; then
+ exit 1
+ fi
else
echo "Make install partial"
if [ x"$comp_type" == x"intel" ]; then
--
GitLab