# HG changeset patch
# User Adam Chlipala <adamc@hcoop.net>
# Date 1220799171 14400
# Node ID 3ed7a7c7b0609b86472b32fcb692d5a0a1ffc56c
# Parent  ffe5b01908ae8be369354f72e9498cba806a8cb0
Ask GCC to strip executables

diff -r ffe5b01908ae -r 3ed7a7c7b060 src/compiler.sml
--- a/src/compiler.sml	Sun Sep 07 10:48:51 2008 -0400
+++ b/src/compiler.sml	Sun Sep 07 10:52:51 2008 -0400
@@ -467,8 +467,8 @@
 
 fun compileC {cname, oname, ename} =
     let
-        val compile = "gcc -O3 -I include -c " ^ cname ^ " -o " ^ oname
-        val link = "gcc -O3 -pthread -lpq clib/urweb.o " ^ oname ^ " clib/driver.o -o " ^ ename
+        val compile = "gcc -s -O3 -I include -c " ^ cname ^ " -o " ^ oname
+        val link = "gcc -s -O3 -pthread -lpq clib/urweb.o " ^ oname ^ " clib/driver.o -o " ^ ename
     in
         if not (OS.Process.isSuccess (OS.Process.system compile)) then
             print "C compilation failed\n"