X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=boot-pkgs;h=6acea112e4db4368815d6f9d8832b081652495a9;hb=7b0ff1792d699ff02a604163c9ccf4a98a1ca3eb;hp=45520888086a08e2ba4125241c2c79703fc30036;hpb=1c1ed8694bdd24b003fa5935d001a1835e9b0f4e;p=ghc-hetmet.git diff --git a/boot-pkgs b/boot-pkgs index 4552088..6acea11 100644 --- a/boot-pkgs +++ b/boot-pkgs @@ -25,7 +25,13 @@ 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"; + } $stamp = "libraries/stamp/$package"; if ((! -d "libraries/$package") || (! -f "$stamp") || ((-M "libraries/stamp/$package") > (-M $tarball))) {