diff options
| -rwxr-xr-x | remote/setup_tools | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/remote/setup_tools b/remote/setup_tools index 2af8abe5..6dd35a8c 100755 --- a/remote/setup_tools +++ b/remote/setup_tools @@ -232,7 +232,7 @@ clean_tools() { if [ "x$1" = "x" -o "x$1" = "xall" ]; then #clean all if [ -d ${INIT_DIR} ]; then - rm -rf "${INIT_DIR}" || perror "Error deleting $INIT_DIR" + rm -rf "${INIT_DIR}"/* || perror "Error deleting $INIT_DIR" fi for TOOL in $(ls ${TOOL_DIR}); do clean_tool $TOOL |