diff --git a/ci/scripts/build.sh b/ci/scripts/build.sh index c27e773b921a4f1941a7ebea46b70641ccac94d7..b2ffaeb726f8e1baa12864d77f92536e4c4fe71a 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