diff options
Diffstat (limited to 'Tools/scripts/reindent.py')
-rwxr-xr-x | Tools/scripts/reindent.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Tools/scripts/reindent.py b/Tools/scripts/reindent.py index 11cb30a..981f63a 100755 --- a/Tools/scripts/reindent.py +++ b/Tools/scripts/reindent.py @@ -130,9 +130,11 @@ def check(file): f.close() if verbose: print("wrote new", file) + return True else: if verbose: print("unchanged.") + return False def _rstrip(line, JUNK='\n \t'): """Return line stripped of trailing spaces, tabs, newlines. |