build.sh

@@ -18,14 +18,6 @@ echo "Compiled successfully!";
 mkdir -vp $(dirname "$0")/compiled
 mv -v *.dat $(dirname "$0")/compiled
 rm *.lno
-
-# Check if build is successful
-if [ ! -f "compiled/csprogs.dat" ] || [ ! -f "compiled/progs.dat" ] || [ ! -f "compiled/menu.dat" ]; then
-    echo "Build was not successful. Please check for compiler errors."
-    exit 1
-fi
-
-
 mkdir dist
 if [[ -n "${CI_COMMIT_TAG}" ]]
 then