Make boot handle getting the libraries

[ghc-hetmet.git] / Makefile

diff --git a/Makefile b/Makefile
index 3b7f99c..edc0433 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -72,11 +72,11 @@ check-packages :
        @for d in `cat libraries/core-packages`; do \
          if test ! -d libraries/$$d; then \
             echo "Looks like you're missing libraries/$$d,"; \
-            echo "maybe you haven't done 'sh darcs-all get'?"; \
+            echo "Did you run 'sh boot' at the top level?"; \
             exit 1; \
          fi \
        done
-       if test ! -e libraries/base/configure; then \
+       @if test ! -e libraries/base/configure; then \
            echo "Looks like you're missing base's configure script."; \
            echo "Did you run 'sh boot' at the top level?"; \
            exit 1; \