--- 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