diff options
| author |  Carl Worth <cworth@cworth.org> | 2010-04-14 11:32:26 -0700 |
|---|---|---|
| committer | Carl Worth <cworth@cworth.org> | 2010-04-14 11:34:12 -0700 |
| commit | 25f3185ad088673cb00f4f3ecba60cd9614bbc40 (patch) | |
| tree | 5a8d147994933256a2b65ee937fcd162777af6a3 /Makefile.local | |
| parent | c10085c77b407d9ea704f8b4f9e0a805f63e72cb (diff) | |
Makefile: Move include of Makefile.config up from Makefile.local
The recent change to include sub-directory Makefile.local files
before the top-level Makefile.local means that we need to include
the Makefile.config before those. So move it up from Makefile.local
to Makefile.
Diffstat (limited to 'Makefile.local')
| -rw-r--r-- | Makefile.local | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/Makefile.local b/Makefile.local index fbff9497..5da54242 100644 --- a/Makefile.local +++ b/Makefile.local @@ -19,20 +19,6 @@ TAR_FILE=$(PACKAGE)-$(VERSION).tar.gz SHA1_FILE=$(TAR_FILE).sha1 GPG_FILE=$(SHA1_FILE).asc -# Get settings from the output of configure by running it to generate -# Makefile.config if it doesn't exist yet. And add Makefile.config to -# our global dependency list. -include Makefile.config -global_deps += Makefile.config -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 " See \"./configure --help\" for more details." - @echo "" - ./configure - # Smash together user's values with our extra values FINAL_CFLAGS = -DNOTMUCH_VERSION=$(VERSION) $(CFLAGS) $(WARN_CFLAGS) $(CONFIGURE_CFLAGS) $(extra_cflags) FINAL_CXXFLAGS = $(CXXFLAGS) $(WARN_CXXFLAGS) $(CONFIGURE_CXXFLAGS) $(extra_cflags) $(extra_cxxflags) |