diff --git a/Makefile b/Makefile index 8a35af23c97688afa86f28422939aaa961cde861..97d43cc778c770614b21447b6332cf58204b4b99 100644 --- a/Makefile +++ b/Makefile @@ -1,5 +1,5 @@ # -# $Id: Makefile,v 1.27 2000/07/29 06:29:07 hubbe Exp $ +# $Id: Makefile,v 1.28 2000/08/05 13:36:23 mast Exp $ # # Meta Makefile # @@ -32,8 +32,10 @@ src/configure: src/configure.in cd src && ./run_autoconfig . 2>&1 | grep -v warning -rm -f "$(BUILDDIR)/Makefile" -force_configure: +force_autoconfig: cd src && ./run_autoconfig . 2>&1 | grep -v warning + +force_configure: -rm -f "$(BUILDDIR)/Makefile" @$(MAKE) $(MAKE_FLAGS) configure