added makefile check

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

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