diff options
Diffstat (limited to 'remote')
| -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 cf96df7b..95e3e0a9 100755 --- a/remote/setup_tools +++ b/remote/setup_tools @@ -161,7 +161,7 @@ generate_stage32 () { } -clean_sys() { +clean_tools() { if [ "x$1" = "x" -o "x$1" = "xall" ]; then #clean all [ -d ${INIT_DIR} ] && rm -rf ${INIT_DIR} @@ -175,6 +175,7 @@ clean_sys() { done fi } + clean_tool() { TOOLDIR=${TOOL_DIR}/$1 echo "Cleaning ${TOOLDIR}" |