* 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 d0c086f..78e9b5a 100644
--- a/Objects/Makefile.in
+++ b/Objects/Makefile.in
@@ -17,7 +17,7 @@
# === 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 @@
all: $(LIB)
$(LIB): $(OBJS)
+ -rm -f $(LIB)
$(AR) cr $(LIB) $(OBJS)
$(RANLIB) $(LIB)