diff --git a/asllib/doc/doclint.py b/asllib/doc/doclint.py index a3a62e9da..0b8eaf879 100644 --- a/asllib/doc/doclint.py +++ b/asllib/doc/doclint.py @@ -70,8 +70,8 @@ def main(): num_errors += check_undefined_references_and_multiply_defined_labels() print(f"There were {num_errors} errors!", file=sys.stderr) - #if num_errors > 0: - # sys.exit(1) + if num_errors > 0: + sys.exit(1) if __name__ == "__main__": main()