Merge _stub.o files into the main .o file (Fixes #3687 and #706)

[ghc-hetmet.git] / boot-pkgs

diff --git a/boot-pkgs b/boot-pkgs
index 4552088..6acea11 100644 (file)
--- 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))) {