src/main/resources/make/toolchain.sh

changeset 132
e0478362c2cf
parent 105
4b3e655339cb
--- a/src/main/resources/make/toolchain.sh	Sun Jan 12 11:26:16 2025 +0100
+++ b/src/main/resources/make/toolchain.sh	Sun Jan 12 12:40:20 2025 +0100
@@ -17,6 +17,10 @@
 
 check_c_compiler()
 {
+  command -v $1 2>&1 >/dev/null
+  if [ $? -ne 0 ]; then
+    return 1
+  fi
   cat > "$TEMP_DIR/test.c" << __EOF__
 /* test file */
 #include <stdio.h>
@@ -41,6 +45,10 @@
 
 check_cpp_compiler()
 {
+  command -v $1 2>&1 >/dev/null
+  if [ $? -ne 0 ]; then
+    return 1
+  fi
   cat > "$TEMP_DIR/test.cpp" << __EOF__
 /* test file */
 #include <iostream>

mercurial