Remove Makefile.config from the repository.

[notmuch] / Makefile

diff --git a/Makefile b/Makefile
index ae8bff134a154544340bca9558aefe6639ff19d6..ae0f99120cc59c459c3b8d0e4819611e7c8b5c62 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -35,6 +35,9 @@ include Makefile.local
 include lib/Makefile.local
 
 # And get user settings from the output of configure
+Makefile.config: configure
+       ./configure
+
 include Makefile.config
 
 # The user has not set any verbosity, default to quiet mode and inform the
@@ -75,5 +78,6 @@ DEPS := $(SRCS:%.c=.deps/%.d)
 DEPS := $(DEPS:%.cc=.deps/%.d)
 -include $(DEPS)
 
+.PHONY : clean
 clean:
        rm -f $(CLEAN); rm -rf .deps