Make in build.sh only if cmake finished successfully

Desbordante · Aug 12, 2023 · 32529d3 · 32529d3
1 parent 5ac195c
commit 32529d3
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/build.sh b/build.sh
@@ -93,5 +93,4 @@ cd ..
 mkdir -p build
 cd build
 rm CMakeCache.txt
-cmake $PREFIX ..
-make $JOBS_OPTION
+cmake $PREFIX .. && make $JOBS_OPTION