From: Ian Lynagh <igloo@earth.li>
Date: Wed, 5 Dec 2007 12:50:15 +0000 (+0000)
Subject: Fix the libraries Makefile
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=fed3d81360b6234f1ff49d5dc84d76211abd45c4;p=ghc-hetmet.git

Fix the libraries Makefile
    x && y
is not the same as
    if x; then y; fi
as the latter doesn't fail when x fails
---

diff --git a/libraries/Makefile b/libraries/Makefile
index 38bf497..bbcfdd2 100644
--- a/libraries/Makefile
+++ b/libraries/Makefile
@@ -300,7 +300,7 @@ doc.library.%: stamp/configure.library.build$(CONFIGURE_STAMP_EXTRAS).% \
 	                               $(CABAL_HADDOCK_FLAGS); \
 	fi
 ifneq "$(HSCOLOUR)" ""
-	ifBuildable/ifBuildable $* && cp hscolour.css $*/dist/doc/html/$*/src/
+	if ifBuildable/ifBuildable $*; then cp hscolour.css $*/dist/doc/html/$*/src/; fi
 endif
 
 .PHONY: distclean clean clean.library.%