diff options
author | Carl Worth <cworth@cworth.org> | 2009-12-01 08:34:09 -0800 |
---|---|---|
committer | Carl Worth <cworth@cworth.org> | 2009-12-01 08:34:09 -0800 |
commit | 98b93a7d5ad3713a7c408e497065cd0a931d90c7 (patch) | |
tree | cdad80d22f88c46b1f0d39d8788f10f1d811958b /Makefile | |
parent | eb0cf86c7a9d5cda464d4d36a9cac66f26b5529d (diff) |
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.
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -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 |