X-Git-Url: https://git.notmuchmail.org/git?p=notmuch;a=blobdiff_plain;f=Makefile;h=ae0f99120cc59c459c3b8d0e4819611e7c8b5c62;hp=ae8bff134a154544340bca9558aefe6639ff19d6;hb=98b93a7d5ad3713a7c408e497065cd0a931d90c7;hpb=1266d8511e9adc7296ec4ddbf609dec824b4c94f

diff --git a/Makefile b/Makefile
index ae8bff13..ae0f9912 100644
--- 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