From 0aaed096e10aa44fccd6b479735452d485910df1 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?S=C3=A9bastien=20Riette?= <sebastien.riette@meteo.fr>
Date: Mon, 4 Nov 2024 13:37:07 +0100
Subject: [PATCH] BF for continous integration

---
 bin/INSTALL.sh | 8 +++-----
 1 file changed, 3 insertions(+), 5 deletions(-)

diff --git a/bin/INSTALL.sh b/bin/INSTALL.sh
index 71d05ba..03ce32f 100755
--- a/bin/INSTALL.sh
+++ b/bin/INSTALL.sh
@@ -60,17 +60,15 @@ else
     cd fxtran
     if [ $(git rev-parse HEAD^{commit}) != $(git rev-parse ${fxtran_version}^{commit}) ]; then
       rm -f $DIR/fxtran
-      make clean
+      set +e; make clean; set -e
       git checkout ${fxtran_version}
-      make clean
+      set +e; make clean; set -e
       compilationNeeded=1
     fi
   fi
   if [ $compilationNeeded -eq 1 ]; then
     cd fxtran
-    set +e
-    make all
-    set -e
+    set +e; make all; set -e
     
     if [ -f bin/fxtran ]; then
       echo ""