summaryrefslogtreecommitdiff
path: root/Makefile.defaults
diff options
context:
space:
mode:
authorVincent Sanders <vince@kyllikki.org>2017-08-30 23:27:28 +0100
committerVincent Sanders <vince@kyllikki.org>2017-08-30 23:27:28 +0100
commitf8cdbbce19b102fb958c56f628a4f76f7f3e5052 (patch)
tree9cbb60896866145a528181d492982092ef60019e /Makefile.defaults
parentb72b9d1f1fe2bd406311b4f43ee3f370011251e7 (diff)
downloadnetsurf-f8cdbbce19b102fb958c56f628a4f76f7f3e5052.tar.gz
netsurf-f8cdbbce19b102fb958c56f628a4f76f7f3e5052.tar.bz2
slightly amend how user config is included
Diffstat (limited to 'Makefile.defaults')
-rw-r--r--Makefile.defaults4
1 files changed, 1 insertions, 3 deletions
diff --git a/Makefile.defaults b/Makefile.defaults
index 619b8db08..a3ccf871d 100644
--- a/Makefile.defaults
+++ b/Makefile.defaults
@@ -136,11 +136,9 @@ endif
# ----------------------------------------------------------------------------
-# Include any local configuration
+# Detect double inclusion
# ----------------------------------------------------------------------------
ifneq ($(MAKEFILE_DEFAULTS_FINISHED),)
$(error Makefile.defaults has been double-included. If you did something utterly brain-dead such as copying Makefile.defaults to Makefile.config then you deserve all the pain you can imagine. Do NOT do that. Why not read the comments at the top of Makefile.defaults. They are there to help you, you numpty)
endif
MAKEFILE_DEFAULTS_FINISHED=yes
--include Makefile.config
-