diff options
| -rw-r--r-- | GNUmakefile | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/GNUmakefile b/GNUmakefile index 9ab4227a..2ae8a3c9 100644 --- a/GNUmakefile +++ b/GNUmakefile @@ -44,7 +44,9 @@ endif # causing problems with keeping up to date with the repository. # ############################################################################# --include Makefile.local +-include GNUmakefile.local + +include $(SETTINGS_MAKEFILES) ifeq ($(COMPILE_PLATFORM),cygwin) PLATFORM=mingw32 |