From 96a285cc492ddd88dd062e4d88c61e1f268367b0 Mon Sep 17 00:00:00 2001 From: Jonathan Bauer Date: Thu, 20 Dec 2012 15:51:55 +0100 Subject: minor fix --- remote/setup_tools | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'remote/setup_tools') 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}" -- cgit v1.2.3-55-g7522