diff options
| -rw-r--r-- | GNUmakefile (renamed from Makefile) | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -44,7 +44,7 @@ endif # causing problems with keeping up to date with the repository. # ############################################################################# --include Makefile.local +-include GNUmakefile.local ifeq ($(COMPILE_PLATFORM),cygwin) PLATFORM=mingw32 |