[MLton-commit] r6236

[Matthew Fluet]

Supress warnings on gdtoa
----------------------------------------------------------------------

U   mlton/trunk/runtime/Makefile

----------------------------------------------------------------------

Modified: mlton/trunk/runtime/Makefile
===================================================================
--- mlton/trunk/runtime/Makefile	2007-12-01 19:43:28 UTC (rev 6235)
+++ mlton/trunk/runtime/Makefile	2007-12-02 01:14:43 UTC (rev 6236)
@@ -244,7 +244,7 @@
 	patch -s -p0 <gdtoa-patch
 
 gdtoa/arithchk.out: gdtoa/arithchk.c
-	cd gdtoa && $(CC) $(OPTCFLAGS) $(OPTWARNCFLAGS) -o arithchk.out arithchk.c
+	cd gdtoa && $(CC) $(OPTCFLAGS) $(OPTWARNCFLAGS) -w -O1 -o arithchk.out arithchk.c
 
 gdtoa/arith.h: gdtoa/arithchk.out
 	cd gdtoa && ./arithchk.out >arith.h