Pylint

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())