From f82ccd307b394d56645a24fba74f9d4c8e78e7ad Mon Sep 17 00:00:00 2001
From: lanjelot <lanjelot@gmail.com>
Date: Sun, 10 Dec 2017 17:19:03 +1000
Subject: [PATCH] Fixes #80

---
 patator.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/patator.py b/patator.py
index b8ab401..2fd089d 100755
--- a/patator.py
+++ b/patator.py
@@ -773,7 +773,7 @@ def process_logs(queue, indicatorsfmt, argv, log_dir):
         while i < len(argv):
           arg = argv[i]
           if arg[0] == '-':
-            if arg in ('-d', '--debug'):
+            if arg in ('-d', '--debug', '--allow-ignore-failures'):
               f.write('  <option type="global" name=%s/>\n' % xmlquoteattr(arg))
             else:
               if not arg.startswith('--') and len(arg) > 2: