diff options
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/ptxdist | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/bin/ptxdist b/bin/ptxdist index 445cf7270..1e3c53a5c 100755 --- a/bin/ptxdist +++ b/bin/ptxdist @@ -1164,6 +1164,8 @@ clean() { rm -fr -- "${ROOTDIR}" rm -fr -- "${PTXDIST_PLATFORMDIR}/root-debug" rm -fr -- "${PTXDIST_PLATFORMDIR}/nfsroot" + echo "${PTXDIST_LOG_PROMPT}removing report..." + rm -fr -- "${REPORTDIR}" echo "${PTXDIST_LOG_PROMPT}removing state..." rm -fr -- "${STATEDIR}" echo "${PTXDIST_LOG_PROMPT}removing logfile..." |