* ./Makefile: we check for Makefile.config before including it.

diff --git a/Makefile b/Makefile
index e4ab307d39d9921d8f78d770ca2ec8f09d4d88db..c422fd79015449f5b602e498725b75a81884b1e4 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -3,9 +3,11 @@
 ###############################################################################
 
 ifeq ($(shell [ ! -r Makefile.opts ] && echo 1),)
-    include Makefile.config
     include Makefile.opts
 endif
+ifeq ($(shell [ ! -r Makefile.config ] && echo 1),)
+    include Makefile.config
+endif
 
 ###############################################################################
 # Objects and files