diff options
Diffstat (limited to 'remote/setup_tools')
| -rwxr-xr-x | remote/setup_tools | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/remote/setup_tools b/remote/setup_tools index fdc2da40..63fa3f09 100755 --- a/remote/setup_tools +++ b/remote/setup_tools @@ -226,7 +226,7 @@ clean_tools() { clean_tool() { TOOLDIR=${TOOL_DIR}/$1 - pinfo "Cleaning ${TOOLDIR}..." + pinfo "Cleaning '${TOOLDIR}'..." #[ -e ${TOOLDIR}/build/list_wanted_stage3.2 ] && cd ${INIT_DIR} \ # && xargs rm < ${TOOLDIR}/build/list_wanted_stage3.2 #[ -d ${TOOLDIR}/data ] && cd ${INIT_DIR} \ |