diff options
-rwxr-xr-x | report.py | 2 | ||||
-rwxr-xr-x | run.py | 2 | ||||
-rwxr-xr-x | split-to-files.py | 2 |
3 files changed, 3 insertions, 3 deletions
@@ -135,4 +135,4 @@ def main(): print("GAINED: {0}".format(len(gained))) print("LOST: {0}".format(len(lost))) if __name__ == "__main__": - main() + main() @@ -146,4 +146,4 @@ def main(): print("shader-db run completed in {:.1f} secs".format(runtimeafter - runtimebefore)) if __name__ == "__main__": - main() + main() diff --git a/split-to-files.py b/split-to-files.py index f537cc5..dd49b55 100755 --- a/split-to-files.py +++ b/split-to-files.py @@ -99,4 +99,4 @@ def main(): write_files(dirname, parse_input(input.read())) if __name__ == "__main__": - main() + main() |