From cec24c2b7e8866a80bc88a29fc0f93cb9b7783d1 Mon Sep 17 00:00:00 2001
From: Jean-Baptiste Keck <Jean-Baptiste.Keck@imag.fr>
Date: Fri, 6 Oct 2017 11:18:06 +0200
Subject: [PATCH] make clean
---
ci/scripts/build.sh | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/ci/scripts/build.sh b/ci/scripts/build.sh
index c27e773b9..b2ffaeb72 100644
--- a/ci/scripts/build.sh
+++ b/ci/scripts/build.sh
@@ -18,6 +18,7 @@ if [ ! -f Makefile ]; then
echo "The makefile has not been generated."
exit 1
fi
-CC="$2" CXX="$3" FC="$4" make VERBOSE=1 ..
+
+CC="$2" CXX="$3" FC="$4" make VERBOSE=1
exit 0
--
GitLab