diff options
| -rwxr-xr-x | src/scripts/build_docs.py | 1 | ||||
| -rwxr-xr-x | src/scripts/cleanup.py | 2 |
2 files changed, 3 insertions, 0 deletions
diff --git a/src/scripts/build_docs.py b/src/scripts/build_docs.py index ca055ac05..1787016e0 100755 --- a/src/scripts/build_docs.py +++ b/src/scripts/build_docs.py @@ -175,6 +175,7 @@ def main(args=None): touch(cmd[1]) else: run_and_check(cmd) + return 0 if __name__ == '__main__': sys.exit(main()) diff --git a/src/scripts/cleanup.py b/src/scripts/cleanup.py index 39a505852..8c72d3eb1 100755 --- a/src/scripts/cleanup.py +++ b/src/scripts/cleanup.py @@ -128,5 +128,7 @@ def main(args=None): for f in build_config['generated_files'].split(' '): remove_file(f) + return 0 + if __name__ == '__main__': sys.exit(main()) |