changeset 91494:1748d84b4fe3

Make gcc the default compiler.
author Jason Rumney <jasonr@gnu.org>
date Sun, 03 Feb 2008 21:59:43 +0000
parents 26c44132a0bf
children d342b8d1b1cd
files nt/configure.bat
diffstat 1 files changed, 7 insertions(+), 6 deletions(-) [+]
line wrap: on
line diff
--- a/nt/configure.bat	Sun Feb 03 21:33:49 2008 +0000
+++ b/nt/configure.bat	Sun Feb 03 21:59:43 2008 +0000
@@ -244,15 +244,16 @@
 if (%COMPILER%)==(cl) goto compilercheckdone
 if (%COMPILER%)==(gcc) goto checkgcc
 
+echo Checking whether 'gcc' is available...
+echo main(){} >junk.c
+gcc -c junk.c
+if exist junk.o goto checkgcc
+del junk.o
+
 echo Checking whether 'cl' is available...
-echo main(){} >junk.c
 cl -nologo -c junk.c
 if exist junk.obj goto clOK
-
-echo Checking whether 'gcc' is available...
-gcc -c junk.c
-if not exist junk.o goto nocompiler
-del junk.o
+goto nocompiler
 
 :checkgcc
 Rem WARNING -- COMMAND.COM on some systems only looks at the first