diff --git a/Makefile b/Makefile index 9e3da08d5b0cbce0f17245a89dd8e355991eff14..38256ea23d7d34dd50363767cdc12cd7790c7800 100644 --- a/Makefile +++ b/Makefile @@ -1,5 +1,5 @@ # -# $Id: Makefile,v 1.25 2000/02/14 23:42:03 mast Exp $ +# $Id: Makefile,v 1.26 2000/07/03 19:28:24 mast Exp $ # # Meta Makefile # @@ -104,6 +104,9 @@ pike: force install: @$(MAKE) "METATARGET=install" +install_interactive: + @$(MAKE) "METATARGET=install_interactive" + just_verify: @$(MAKE) $(MAKE_FLAGS) "METATARGET=just_verify"