mirror of
https://git.notmuchmail.org/git/notmuch
synced 2024-11-25 04:18:08 +01:00
Remove Makefile.config from the repository.
Instead of shipping a default version, we now add a rule to automatically run configure if necessary to create Makefile.config.
This commit is contained in:
parent
eb0cf86c7a
commit
98b93a7d5a
3 changed files with 4 additions and 3 deletions
1
.gitignore
vendored
1
.gitignore
vendored
|
@ -1,3 +1,4 @@
|
|||
Makefile.config
|
||||
TAGS
|
||||
tags
|
||||
*cscope*
|
||||
|
|
3
Makefile
3
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
|
||||
|
|
|
@ -1,3 +0,0 @@
|
|||
prefix = /usr/local
|
||||
bash_completion_dir = /etc/bash_completion.d
|
||||
CFLAGS += -DHAVE_VALGRIND
|
Loading…
Reference in a new issue