diff options
| -rw-r--r-- | distrib/hc-build | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/distrib/hc-build b/distrib/hc-build index 606badf063..06bb4d7923 100644 --- a/distrib/hc-build +++ b/distrib/hc-build @@ -86,6 +86,9 @@ $MAKE -C ghc/rts boot && $MAKE -C ghc/rts all # Now build a new set of libraries $MAKE -C libraries boot all +# Build ghc/lib +$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 |