diff options
| author | Jonathan Bauer | 2013-01-14 14:30:24 +0100 |
|---|---|---|
| committer | Jonathan Bauer | 2013-01-14 14:30:24 +0100 |
| commit | e41f215770c7f5d8ee9d420e9f8b22f1c7f7c5ca (patch) | |
| tree | 4cb484422556d5ee9885c0f7ef9ea8d5377649fb /remote/setup_tools | |
| parent | old file deleted (diff) | |
| download | tm-scripts-e41f215770c7f5d8ee9d420e9f8b22f1c7f7c5ca.tar.gz tm-scripts-e41f215770c7f5d8ee9d420e9f8b22f1c7f7c5ca.tar.xz tm-scripts-e41f215770c7f5d8ee9d420e9f8b22f1c7f7c5ca.zip | |
[systemd] update to version 197, integrated udev.
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 |