Update boot scripts for git

[ghc-hetmet.git] / boot-pkgs

diff --git a/boot-pkgs b/boot-pkgs
index b613828..6acea11 100644 (file)
--- a/boot-pkgs
+++ b/boot-pkgs
@@ -25,6 +25,9 @@ for $tarball (@tarballs) {
     if (-d "libraries/$package/_darcs") {
         print "Ignoring libraries/$package as it looks like a darcs checkout\n"
     }
+    elsif (-d "libraries/$package/.git") {
+        print "Ignoring libraries/$package as it looks like a git checkout\n"
+    }
     else {
         if (! -d "libraries/stamp") {
             mkdir "libraries/stamp";