configure

changeset 819
5f6ca885d048
parent 647
e93dc5b1da07
child 942
488178e3e328
--- a/configure	Wed Oct 08 16:09:54 2025 +0200
+++ b/configure	Wed Oct 08 18:38:42 2025 +0200
@@ -675,6 +675,36 @@
 done
 while true
 do
+    if notisplatform "unix"; then
+        break
+    fi
+    while true
+    do
+
+        cat >> "$TEMP_DIR/make.mk" << __EOF__
+SYS_MAKEFILE = Makefile.unix
+__EOF__
+        break
+    done
+    break
+done
+while true
+do
+    if notisplatform "windows"; then
+        break
+    fi
+    while true
+    do
+
+        cat >> "$TEMP_DIR/make.mk" << __EOF__
+SYS_MAKEFILE = Makefile.win32
+__EOF__
+        break
+    done
+    break
+done
+while true
+do
     if notisplatform "macos"; then
         break
     fi

mercurial