Take arg specifying msdos or winnt batch file config.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@9005 138bc75d-0d04-0410-961f-82ee72b054a4

diff --git a/gcc/configure.bat b/gcc/configure.bat
index bbe72e7..88d7c0a 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