cope with empty libraries/stamp directory (in git repo)

diff --git a/boot-pkgs b/boot-pkgs
index 4552088..b613828 100644 (file)
--- a/boot-pkgs
+++ b/boot-pkgs
@@ -26,6 +26,9 @@ for $tarball (@tarballs) {
         print "Ignoring libraries/$package as it looks like a darcs 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))) {