diff --git a/_tools/cleanup.py b/_tools/cleanup.py index 1fcc260b2e..94030060d9 100755 --- a/_tools/cleanup.py +++ b/_tools/cleanup.py @@ -5,10 +5,6 @@ import shutil import workspace.build -if len(sys.argv) < 2 or sys.argv[1] != "--remove-everything": - print(f"Please call `{sys.argv[0]} --remove-everything` if you really want to remove all your workspace files") - exit() - # Remove workspace folder shutil.rmtree("workspace", ignore_errors = True)