diff -r 072fa3e165f0 -r 831928419249 configure
--- a/configure	Sun Sep 24 18:48:42 2023 +0200
+++ b/configure	Sun Oct 01 14:41:17 2023 +0200
@@ -227,6 +227,28 @@
     echo no
     return 0
 }
+dependency_error_tools()
+{
+    printf "checking for tools... "
+    # dependency tools platform="unix"
+    while true
+    do
+        if notisplatform "unix"; then
+            break
+        fi
+        cat >> $TEMP_DIR/make.mk << __EOF__
+# Dependency: tools
+RMDIR=rm -fR
+MKDIR=mkdir -p
+
+__EOF__
+        echo yes
+        return 1
+    done
+
+    echo no
+    return 0
+}
 
 
 
@@ -249,11 +271,6 @@
             break
         fi
 
-        cat >> "$TEMP_DIR/make.mk" << __EOF__
-MKDIR=mkdir -p
-RMDIR=rm -fR
-
-__EOF__
         break
     done
     break
@@ -290,6 +307,10 @@
     DEPENDENCIES_FAILED="$DEPENDENCIES_FAILED ucx "
     ERROR=1
 fi
+if dependency_error_tools; then
+    DEPENDENCIES_FAILED="$DEPENDENCIES_FAILED tools "
+    ERROR=1
+fi
 
 # Features