diff -r 8c3207703dac -r de4ae767b0e3 scripts/cleanupSource.py
--- a/scripts/cleanupSource.py Wed May 24 17:28:58 2023 +0200
+++ b/scripts/cleanupSource.py Wed May 24 19:54:24 2023 +0200
@@ -49,11 +49,9 @@
os.rmdir(name)
-def main(argv):
+def main():
"""
The main function of the script.
-
- @param argv the list of command line arguments.
"""
print("Cleaning up source ...")
sourceDir = os.path.dirname(os.path.dirname(__file__)) or "."
@@ -62,7 +60,7 @@
if __name__ == "__main__":
try:
- main(sys.argv)
+ main()
except SystemExit:
raise
except Exception:
