diff options
Diffstat (limited to 'remote/setup_tools')
| -rwxr-xr-x | remote/setup_tools | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/remote/setup_tools b/remote/setup_tools index e12ea00d..bf1ac93e 100755 --- a/remote/setup_tools +++ b/remote/setup_tools @@ -201,7 +201,8 @@ generate_stage32 () { clean_tools() { if [ "x$1" = "x" -o "x$1" = "xall" ]; then #clean all - [ -d ${INIT_DIR} ] && rm -rf ${INIT_DIR} + [ -d ${INIT_DIR} ] && echo -n "Cleaning ${INIT_DIR}..." \ + && rm -rf ${INIT_DIR} && echo " done." for TOOL in $(ls ${TOOL_DIR}); do clean_tool $TOOL done |