diff options
-rwxr-xr-x | bin/ptxdist | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/bin/ptxdist b/bin/ptxdist index ca1f355d6..832519889 100755 --- a/bin/ptxdist +++ b/bin/ptxdist @@ -341,6 +341,8 @@ clean() { rm -fr state echo "${PROMPT}removing logfile..." rm -f logfile + echo "${PROMPT}removing test logfile..." + rm -f test.log echo "${PROMPT}removing cross/native marker..." rm -f .build.cross .build.native echo "${PROMPT}done." |