From 212148361d74593a84b070d35d43a354f556758d Mon Sep 17 00:00:00 2001 From: Stuart Hayhurst Date: Sun, 10 Dec 2023 17:21:40 +0000 Subject: [PATCH] Print a success message if dirs are already clean --- scripts/clean-dirs.py | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/scripts/clean-dirs.py b/scripts/clean-dirs.py index 43280b2c..b1dc4547 100755 --- a/scripts/clean-dirs.py +++ b/scripts/clean-dirs.py @@ -52,3 +52,7 @@ def listEmptyDirs(dirName): print(" Delete " + emptyDir) os.rmdir(emptyDir) emptyDirs = listEmptyDirs(buildDir) + +#Print success message if it was already clean +if len(deletionList) == 0 and len(emptyDirs) == 0: + print("Directories already clean")