Mercurial > urweb
changeset 949:6646b95f1860
Disable GCC inlining to stop goofy errors
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Thu, 17 Sep 2009 13:30:56 -0400 |
| parents | b03d48aac959 |
| children | 5be3d19b59f3 |
| files | src/compiler.sml |
| diffstat | 1 files changed, 1 insertions(+), 1 deletions(-) [+] |
line wrap: on
line diff
--- 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