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

1 files changed, 3 insertions, 0 deletions

diff --git a/push-all b/push-all
index 014c4b0cb0..a5c20629cd 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;
             }