diff options
Diffstat (limited to 'Makefile.defaults')
| -rw-r--r-- | Makefile.defaults | 4 |
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 - |