* configure.in, */Makefile*.in: OPT can now be specified in the

	env at configure time and will then be put in all Makefiles as
	default
	* */Makefile*.in: remove lib*.a before adding to it

diff --git a/Objects/Makefile.in b/Objects/Makefile.in
index d0c086f27c7f82756da4d3067a7e1a175a886d0d..78e9b5a09f7530fd7ae9876234222f7b3e18eafd 100644 (file)
--- a/Objects/Makefile.in
+++ b/Objects/Makefile.in
@@ -17,7 +17,7 @@ DEFS=         @DEFS@
 # === Other things that are customizable but not by configure ===
 
 INCLDIR=       $(srcdir)/../Include
-OPT=           -O
+OPT=           @OPT@
 CFLAGS=                $(OPT) -I$(INCLDIR) -I.. $(DEFS)
 
 MKDEP=         mkdep
@@ -48,6 +48,7 @@ LIB=          libObjects.a
 all:           $(LIB)
 
 $(LIB):                $(OBJS)
+               -rm -f $(LIB)
                $(AR) cr $(LIB) $(OBJS)
                $(RANLIB) $(LIB)