1.1 --- a/configure Sun Sep 24 18:48:42 2023 +0200 1.2 +++ b/configure Sun Oct 01 14:41:17 2023 +0200 1.3 @@ -227,6 +227,28 @@ 1.4 echo no 1.5 return 0 1.6 } 1.7 +dependency_error_tools() 1.8 +{ 1.9 + printf "checking for tools... " 1.10 + # dependency tools platform="unix" 1.11 + while true 1.12 + do 1.13 + if notisplatform "unix"; then 1.14 + break 1.15 + fi 1.16 + cat >> $TEMP_DIR/make.mk << __EOF__ 1.17 +# Dependency: tools 1.18 +RMDIR=rm -fR 1.19 +MKDIR=mkdir -p 1.20 + 1.21 +__EOF__ 1.22 + echo yes 1.23 + return 1 1.24 + done 1.25 + 1.26 + echo no 1.27 + return 0 1.28 +} 1.29 1.30 1.31 1.32 @@ -249,11 +271,6 @@ 1.33 break 1.34 fi 1.35 1.36 - cat >> "$TEMP_DIR/make.mk" << __EOF__ 1.37 -MKDIR=mkdir -p 1.38 -RMDIR=rm -fR 1.39 - 1.40 -__EOF__ 1.41 break 1.42 done 1.43 break 1.44 @@ -290,6 +307,10 @@ 1.45 DEPENDENCIES_FAILED="$DEPENDENCIES_FAILED ucx " 1.46 ERROR=1 1.47 fi 1.48 +if dependency_error_tools; then 1.49 + DEPENDENCIES_FAILED="$DEPENDENCIES_FAILED tools " 1.50 + ERROR=1 1.51 +fi 1.52 1.53 # Features 1.54