From ea83fc020f5b485fbb8fee6452fef814272795c7 Mon Sep 17 00:00:00 2001 From: Michael Neves Date: Fri, 28 Sep 2012 16:53:35 +0200 Subject: change tool dir --- remote/setup-tools.sh | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/remote/setup-tools.sh b/remote/setup-tools.sh index 73612ba5..e9826a9d 100755 --- a/remote/setup-tools.sh +++ b/remote/setup-tools.sh @@ -81,9 +81,8 @@ copyfileswithdependencies () } main () { - - setup_git - + + cd $TOOL_DIR while (( "$#" )); do TOOL=$1 if [ -d $TOOL ]; -- cgit v1.2.3-55-g7522