From 6a94b79150b93cf589fd69509a09726977b86643 Mon Sep 17 00:00:00 2001
From: simonmar <unknown>
Date: Fri, 4 Mar 2005 14:06:55 +0000
Subject: [PATCH] [project @ 2005-03-04 14:06:55 by simonmar] Fix a couple of
 things, should help this script get further

---
 distrib/hc-build |    4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/distrib/hc-build b/distrib/hc-build
index 743b163..eba1cbe 100644
--- a/distrib/hc-build
+++ b/distrib/hc-build
@@ -84,10 +84,10 @@ $MAKE -C ghc/includes boot && $MAKE -C ghc/includes all
 $MAKE -C ghc/rts      boot && $MAKE -C ghc/rts      all
 
 # Now build a new set of libraries
-$MAKE -C libraries boot all
+$MAKE -C libraries boot all GhcBootLibs=YES
 
 # Build all of ghc/lib
-$MAKE -C ghc/lib clean && $MAKE -C ghc/utils boot all
+$MAKE -C ghc/lib clean && $MAKE -C ghc/lib boot all
 
 # Build all of ghc/utils
 $MAKE -C ghc/utils clean && $MAKE -C ghc/utils boot all
-- 
1.7.10.4