diff --git a/ci/scripts/build.sh b/ci/scripts/build.sh index 47de282848a1a49b4c60f5ec93fbce59865535d3..687bb282f6f7bd7cb8f1822c837609ea0367fb4a 100644 --- a/ci/scripts/build.sh +++ b/ci/scripts/build.sh @@ -14,7 +14,10 @@ fi BUILD_FOLDER="$1" mkdir -p $BUILD_FOLDER cd $BUILD_FOLDER - +if [ ! -f Makefile ]; then + echo "The makefile has not been generated." + exit 1 +fi CC="$2" CXX="$3" FC="$4" make VERBOSE=1 .. exit 0 diff --git a/ci/scripts/config.sh b/ci/scripts/config.sh index 4fbf3b54ecb42fa385875e80b4b4511bf76f4d84..58ffefdaf95b2050b7ab7a3038207e8590b0332c 100644 --- a/ci/scripts/config.sh +++ b/ci/scripts/config.sh @@ -18,4 +18,9 @@ mkdir -p $BUILD_DIR cd $BUILD_DIR CC="$2" CXX="$3" FC="$4" cmake -DCMAKE_BUILD_TYPE=Release $ROOT_DIR +if [ ! -f Makefile ]; then + echo "The makefile has not been generated." + exit 1 +fi + exit 0