From f0171a1626164cad064930e60fe5f06ca2c51f8b Mon Sep 17 00:00:00 2001
From: Guido van Rossum <guido@python.org>
Date: Tue, 23 Aug 1994 14:06:18 +0000
Subject: [PATCH] 	* 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

---
 Objects/Makefile.in | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/Objects/Makefile.in b/Objects/Makefile.in
index d0c086f27c7..78e9b5a09f7 100644
--- 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)