diff options
| -rw-r--r-- | libraries/Makefile.local | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/libraries/Makefile.local b/libraries/Makefile.local index ec84d6e312..f5ac210a33 100644 --- a/libraries/Makefile.local +++ b/libraries/Makefile.local @@ -9,7 +9,7 @@ SAVE_GHC := $(GHC) SAVE_AR := $(AR) SAVE_LD := $(LD) include $(TOP)/mk/config.mk -include $(TOP)/mk/build.mk +-include $(TOP)/mk/build.mk GHC := $(SAVE_GHC) AR := $(SAVE_AR) LD := $(SAVE_LD) |