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

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;
             }