diff --git a/Makefile b/Makefile index 0208421da7c224acbf5a887a7f3a59db692539b2..71d68847a737e92b01416f9599497e2b22093a01 100644 --- a/Makefile +++ b/Makefile @@ -1,5 +1,5 @@ # -# $Id: Makefile,v 1.5 1999/02/08 05:03:04 mast Exp $ +# $Id: Makefile,v 1.6 1999/03/09 14:41:38 mast Exp $ # # Meta Makefile # @@ -21,6 +21,9 @@ src/configure: src/configure.in cd src && ./run_autoconfig . 2>&1 | grep -v warning -@(cd "$(BUILDDIR)" && rm -f Makefile .prefix-h) +force_configure: + cd src && ./run_autoconfig . 2>&1 | grep -v warning + configure: src/configure @builddir="$(BUILDDIR)"; \ srcdir=`pwd`/src; \