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.config | |
| 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.config')
| -rw-r--r-- | Makefile.config | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/Makefile.config b/Makefile.config deleted file mode 100644 index ddc74365..00000000 --- a/Makefile.config +++ /dev/null @@ -1,3 +0,0 @@ -prefix = /usr/local -bash_completion_dir = /etc/bash_completion.d -CFLAGS += -DHAVE_VALGRIND |