diff options
Diffstat (limited to 'python/tidy/servo_tidy')
| -rw-r--r-- | python/tidy/servo_tidy/tidy.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/python/tidy/servo_tidy/tidy.py b/python/tidy/servo_tidy/tidy.py index 5a050d11f4a..fa3a610a41d 100644 --- a/python/tidy/servo_tidy/tidy.py +++ b/python/tidy/servo_tidy/tidy.py @@ -461,8 +461,8 @@ def rec_parse(current_path, current_node): def check_manifest_dirs(config_file, print_text=True): if not os.path.exists(config_file): - print("%s manifest file is required but was not found" % config_file) - sys.exit(1) + yield(config_file, 0, "%s manifest file is required but was not found" % config_file) + return # Load configs from include.ini with open(config_file) as content: |