diff options
| author |  Carl Worth <cworth@cworth.org> | 2009-12-04 15:32:05 -0800 |
|---|---|---|
| committer | Carl Worth <cworth@cworth.org> | 2009-12-04 15:32:05 -0800 |
| commit | 4b0327004a3f9a36352b81a5b778740d68bf3078 (patch) | |
| tree | b29669beb4a537e7e347d5741e199778ec0134f3 /Makefile | |
| parent | 943f415f81207ea00bf1efe8c2c1cbf13a094a56 (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-- | Makefile | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -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 |