aboutsummaryrefslogtreecommitdiffhomepage
path: root/Makefile
diff options
context:
space:
mode:
authorGravatar Carl Worth <cworth@cworth.org>2009-12-04 15:32:05 -0800
committerGravatar Carl Worth <cworth@cworth.org>2009-12-04 15:32:05 -0800
commit4b0327004a3f9a36352b81a5b778740d68bf3078 (patch)
treeb29669beb4a537e7e347d5741e199778ec0134f3 /Makefile
parent943f415f81207ea00bf1efe8c2c1cbf13a094a56 (diff)
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.
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile5
1 files changed, 5 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index d112be6a..c3feee1d 100644
--- a/Makefile
+++ b/Makefile
@@ -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