From 5ee5a583dff1152f137318787dc4d2a8ce91b926 Mon Sep 17 00:00:00 2001 From: Lemmih Date: Thu, 21 Jun 2007 13:07:27 +0000 Subject: [PATCH] mk/build.mk is optional --- libraries/Makefile.local | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/libraries/Makefile.local b/libraries/Makefile.local index ec84d6e..f5ac210 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) -- 1.7.10.4