From 4b0327004a3f9a36352b81a5b778740d68bf3078 Mon Sep 17 00:00:00 2001 From: Carl Worth Date: Fri, 4 Dec 2009 15:32:05 -0800 Subject: [PATCH] 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. --- Makefile | 5 +++++ 1 file changed, 5 insertions(+) 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