diff options
Diffstat (limited to 'WebKitTools/Scripts/check-webkit-style')
-rwxr-xr-x | WebKitTools/Scripts/check-webkit-style | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/WebKitTools/Scripts/check-webkit-style b/WebKitTools/Scripts/check-webkit-style index 9a1ae1e..e29d4b1 100755 --- a/WebKitTools/Scripts/check-webkit-style +++ b/WebKitTools/Scripts/check-webkit-style @@ -121,11 +121,12 @@ def main(): error_count = style_processor.error_count file_count = file_reader.file_count + delete_only_file_count = file_reader.delete_only_file_count _log.info("Total errors found: %d in %d files" % (error_count, file_count)) # We fail when style errors are found or there are no checked files. - sys.exit(error_count > 0 or file_count == 0) + sys.exit(error_count > 0 or (file_count == 0 and delete_only_file_count == 0)) if __name__ == "__main__": |