From 98b93a7d5ad3713a7c408e497065cd0a931d90c7 Mon Sep 17 00:00:00 2001 From: Carl Worth Date: Tue, 1 Dec 2009 08:34:09 -0800 Subject: 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. --- Makefile | 3 +++ 1 file changed, 3 insertions(+) (limited to 'Makefile') diff --git a/Makefile b/Makefile index 2cd1b1ba..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 -- cgit v1.2.3