X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=push-all;h=a5c20629cdcf7589758b998090cf8bbc812ada72;hp=014c4b0cb08078ff70365f53b16f289d9cce256f;hb=a8427a4125e9b78e88a487eeabf018f1c6e8bc08;hpb=f4ab409231b5b904b9a25c07ac4e849c4a9be887

diff --git a/push-all b/push-all
index 014c4b0..a5c2062 100644
--- a/push-all
+++ b/push-all
@@ -75,6 +75,9 @@ sub main {
             if ($arg eq "-q") {
                 $verbose = 0;
             }
+            elsif ($arg eq "--ignore-failure") {
+                $ignore_failure = 1;
+            }
             elsif ($arg eq "--checked-out") {
                 $checked_out = 1;
             }