Type families: new algorithm to solve equalities

[ghc-hetmet.git] / push-all

diff --git a/push-all b/push-all
index ed825fc..ef4dbc8 100644 (file)
--- a/push-all
+++ b/push-all
@@ -39,9 +39,13 @@ sub pushall {
     my $remotepath;
     my $path;
     my $tag;
+    my @repos;
     
     open IN, "< packages" or die "Can't open packages file";
-    while (<IN>) {
+    @repos = <IN>;
+    close IN;
+
+    REPO: foreach (@repos) {
         chomp;
         if (/^([^# ]+) +(?:([^ ]+) +)?([^ ]+) +([^ ]+)$/) {
             $localpath = $1;
@@ -52,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") {
@@ -69,7 +79,6 @@ sub pushall {
             die "Bad line: $_";
         }
     }
-    close IN;
 }
 
 sub main {