Makefile: Inform user that they might want to call ./configure explicitly.

If the Makefile does this for the user, then no arguments are passed. So
it's only polite to let the user know that it's possible to get pass those
arguments.
This commit is contained in:
Carl Worth 2009-12-04 15:32:05 -08:00
parent 943f415f81
commit 4b0327004a

View file

@ -25,6 +25,11 @@ all: notmuch notmuch.1.gz
# Before including any other Makefile fragments, get settings from the
# output of configure
Makefile.config: configure
@echo ""
@echo "Note: Calling ./configure with no command-line arguments. This is often fine,"
@echo " but if you want to specify any arguments (such as an alternate prefix"
@echo " into which to install), call ./configure explicitly and then make again."
@echo ""
./configure
include Makefile.config