--- Makefile.build 2009-02-17 11:14:07.000000000 -0500
+++ Makefile.build 2009-04-08 07:47:41.000000000 -0400
@@ -468,6 +468,7 @@
bin/coq-interface.opt$(EXE): $(COQMKTOP) $(LINKCMX) $(LIBCOQRUN) $(INTERFACECMX)
$(SHOW)'COQMKTOP -o $@'
$(HIDE)$(COQMKTOP) -boot -opt $(OPTFLAGS) -o $@ $(INTERFACECMX)
+ $(STRIP) $@
bin/coq-parser$(EXE):$(LIBCOQRUN) $(PARSERCMO)
$(SHOW)'OCAMLC -o $@'
@@ -478,6 +479,7 @@
$(SHOW)'OCAMLOPT -o $@'
$(HIDE)$(OCAMLOPT) -linkall $(OPTFLAGS) -o $@ \
$(LIBCOQRUN) $(DYNLINKCMXA) str.cmxa nums.cmxa $(CMXA) $(PARSERCMX)
+ $(STRIP) $@
pcoq-files:: $(INTERFACEVO) $(INTERFACERC)