mk/build.mk is optional

diff --git a/libraries/Makefile.local b/libraries/Makefile.local
index ec84d6e..f5ac210 100644 (file)
--- 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
 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)
 GHC := $(SAVE_GHC)
 AR  := $(SAVE_AR)
 LD  := $(SAVE_LD)