New 'permissive' flag for lesson-check

diff --git a/bin/lesson_check.py b/bin/lesson_check.py
index af897d6a654730f947babb11bc3cfd0b3193e4d9..6aa1c2c9b03b2a4d3792762f86665f8d64f1a18e 100755 (executable)
--- a/bin/lesson_check.py
+++ b/bin/lesson_check.py
@@ -118,8 +118,8 @@ def main():
         checker.check()
 
     args.reporter.report()
-    if args.reporter.messages:
-        raise SystemExit(1)
+    if args.reporter.messages and not args.permissive:
+        exit(1)
 
 
 def parse_args():
@@ -148,6 +148,11 @@ def parse_args():
                       action="store_true",
                       dest='trailing_whitespace',
                       help='Check for trailing whitespace')
+    parser.add_option('--permissive',
+                      default=False,
+                      action="store_true",
+                      dest='permissive',
+                      help='Do not raise an error even if issues are detected')
 
     args, extras = parser.parse_args()
     require(args.parser is not None,