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 eeb13150..e12ea00d 100755 --- a/remote/setup_tools +++ b/remote/setup_tools @@ -215,12 +215,13 @@ clean_tools() { clean_tool() { TOOLDIR=${TOOL_DIR}/$1 - echo "Cleaning ${TOOLDIR}" + echo -n "Cleaning ${TOOLDIR}..." [ -e ${TOOLDIR}/.built ] && rm ${TOOLDIR}/.built [ -e ${TOOLDIR}/.fetched_source ] && rm ${TOOLDIR}/.fetched_source [ -d ${TOOLDIR}/build ] && rm -rf ${TOOLDIR}/build [ -d ${TOOLDIR}/src ] && rm -rf ${TOOLDIR}/src [ -e ${TOOLDIR}/list_binaries_and_files ] && rm ${TOOLDIR}/list_binaries_and_files + echo " done." } #generate_stage32 $@ |