diff options
| author | Michael Neves | 2013-01-14 19:49:55 +0100 |
|---|---|---|
| committer | Michael Neves | 2013-01-14 19:49:55 +0100 |
| commit | 8ab988b985ba366a73d79b1bcfde3001169bd1ca (patch) | |
| tree | 9ad592cb7566e21afa2abfc0be211441cd397140 /remote/setup_tools | |
| parent | separate greeter from ldm (diff) | |
| parent | [systemd] update to version 197, integrated udev. (diff) | |
| download | tm-scripts-8ab988b985ba366a73d79b1bcfde3001169bd1ca.tar.gz tm-scripts-8ab988b985ba366a73d79b1bcfde3001169bd1ca.tar.xz tm-scripts-8ab988b985ba366a73d79b1bcfde3001169bd1ca.zip | |
merges base.conf
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 |