From 882bfa4393fc72d5142a6fb680e719ec8db72115 Mon Sep 17 00:00:00 2001 From: Stefan Reimer Date: Fri, 11 Mar 2022 15:38:00 +0100 Subject: [PATCH] Fix minor bug for softlinks pointing to directories during clean --- build | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/build b/build index ba5b84b..f269bf9 100755 --- a/build +++ b/build @@ -95,7 +95,7 @@ def clean_work(): for x in (set(os.listdir('work')) - WORK_CLEAN): x = os.path.join('work', x) log.debug('removing %s', x) - if os.path.isdir(x): + if os.path.isdir(x) and not os.path.islink(x): shutil.rmtree(x) else: os.unlink(x)