From: Ian Lynagh <igloo@earth.li>
Date: Thu, 2 Aug 2007 21:33:00 +0000 (+0000)
Subject: Add a --ignore-failure flag to push-all script
X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=813725ad928c03af656822aeadbcca0dc0b3ced4;ds=sidebyside

Add a --ignore-failure flag to push-all script
---

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