GNUmakefile: fix on Windows

diff --git a/GNUmakefile b/GNUmakefile
index 38e3b0d7365e6ba68f3c955611bf3f001753c3f9..43fba15c0b78b6296853e9567574a82ccfecd976 100755 (executable)
--- a/GNUmakefile
+++ b/GNUmakefile
@@ -154,12 +154,12 @@ solaris-x86-64:
        $(MAKE) $(ALL) CONFIG=vm/Config.solaris.x86.64
 
 winnt-x86-32:
-       $(MAKE) $(ALL) CONFIG=vm/Config.windows.nt.x86.32
-       $(MAKE) factor-console CONFIG=vm/Config.windows.nt.x86.32
+       $(MAKE) $(ALL) CONFIG=vm/Config.windows.x86.32
+       $(MAKE) factor-console CONFIG=vm/Config.windows.x86.32
 
 winnt-x86-64:
-       $(MAKE) $(ALL) CONFIG=vm/Config.windows.nt.x86.64
-       $(MAKE) factor-console CONFIG=vm/Config.windows.nt.x86.64
+       $(MAKE) $(ALL) CONFIG=vm/Config.windows.x86.64
+       $(MAKE) factor-console CONFIG=vm/Config.windows.x86.64
 
 ifdef CONFIG