X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=push-all;h=ef4dbc8d53150cceb5c6fb9aa0f2844c4cf01c94;hp=545cbe216a7bc120653205fbcf82c46b0db53d57;hb=c4ec8f2a77894af1c6160c4e8ad5625ab62f0bea;hpb=0d2fd55fb1518d4ef715f36625dc1d788ad15c32

diff --git a/push-all b/push-all
index 545cbe2..ef4dbc8 100644
--- a/push-all
+++ b/push-all
@@ -39,13 +39,15 @@ sub pushall {
     my $remotepath;
     my $path;
     my $tag;
-    my $ghcrepo = $checked_out ? $reporoot : "$reporoot/ghc";
-    darcs_push ($ghcrepo, @_);
-
+    my @repos;
+    
     open IN, "< packages" or die "Can't open packages file";
-    while (<IN>) {
+    @repos = <IN>;
+    close IN;
+
+    REPO: foreach (@repos) {
         chomp;
-        if (/^([^ ]+) +(?:([^ ]+) +)?([^ ]+)/) {
+        if (/^([^# ]+) +(?:([^ ]+) +)?([^ ]+) +([^ ]+)$/) {
             $localpath = $1;
             $tag = defined($2) ? $2 : "";
             $remotepath = $3;
@@ -54,7 +56,13 @@ sub pushall {
                 $path = "$reporoot/$localpath";
             }
             else {
-                $path = "$reporoot/$remotepath";
+                if ($remotepath =~ /^http:/) {
+                    message "Ignoring $localpath; remote is http URL";
+                    next REPO;
+                }
+                else {
+                    $path = "$reporoot/$remotepath";
+                }
             }
 
             if (-d "$localpath/_darcs") {
@@ -71,7 +79,6 @@ sub pushall {
             die "Bad line: $_";
         }
     }
-    close IN;
 }
 
 sub main {