Take arg specifying msdos or winnt batch file config.

From-SVN: r9005

diff --git a/gcc/configure.bat b/gcc/configure.bat
index bbe72e73bb22f8c785562cec3e58ac9a5182bb01..88d7c0ae9d7edba8e007f1f5d71da700a86f6c01 100644 (file)
--- a/gcc/configure.bat
+++ b/gcc/configure.bat
@@ -1,2 +1,15 @@
-@echo off\r
-config\msdos\configure %1 %2 %3 %4\r
+@echo off
+if %1.==msdos. goto call_msdos
+if %1.==winnt. goto call_winnt
+echo Usage: configure msdos or configure winnt
+goto END
+
+:call_msdos
+call config\msdos\configure %1 %2 %3 %4
+goto END
+
+:call_winnt
+call config\i386\config-nt %1 %2 %3 %4
+goto END
+
+:END