# HG changeset patch
# User Adam Chlipala <adamc@hcoop.net>
# Date 1253208656 14400
# Node ID 6646b95f18604ed80c3cbe9850389c0b99800b48
# Parent  b03d48aac959d6aff3d3f18124adb61a16f57a7f
Disable GCC inlining to stop goofy errors

diff -r b03d48aac959 -r 6646b95f1860 src/compiler.sml
--- a/src/compiler.sml	Thu Sep 17 12:55:22 2009 -0400
+++ b/src/compiler.sml	Thu Sep 17 13:30:56 2009 -0400
@@ -907,7 +907,7 @@
         val urweb_o = clibFile "urweb.o"
         val memmem_o = clibFile "memmem.o"
 
-        val compile = "gcc " ^ Config.gccArgs ^ " -Wstrict-prototypes -Werror -O3 -I " ^ Config.includ
+        val compile = "gcc " ^ Config.gccArgs ^ " -Wstrict-prototypes -Werror -O3 -fno-inline -I " ^ Config.includ
                       ^ " -c " ^ cname ^ " -o " ^ oname
         val link = "gcc -Werror -O3 -lm -lmhash -pthread " ^ Config.gccArgs ^ " " ^ libs ^ " " ^ urweb_o ^ " " ^ oname
                    ^ " " ^ memmem_o ^ " " ^ #link proto ^ " -o " ^ ename