X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=push-all;h=ef4dbc8d53150cceb5c6fb9aa0f2844c4cf01c94;hp=8e9f9f314bed86a7680b43796ee466545463dce5;hb=c4ec8f2a77894af1c6160c4e8ad5625ab62f0bea;hpb=29e0999a73665a37c0c3fd311ac961f81c50bb92

diff --git a/push-all b/push-all
index 8e9f9f3..ef4dbc8 100644
--- a/push-all
+++ b/push-all
@@ -45,7 +45,7 @@ sub pushall {
     @repos = <IN>;
     close IN;
 
-    foreach (@repos) {
+    REPO: foreach (@repos) {
         chomp;
         if (/^([^# ]+) +(?:([^ ]+) +)?([^ ]+) +([^ ]+)$/) {
             $localpath = $1;
@@ -56,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") {