From 852bd896694d2cd123cee77f3e4a99d630ed4210 Mon Sep 17 00:00:00 2001
From: "Vladmir Sharhsov(warpc)" <vsharshov@gmail.com>
Date: Mon, 9 Sep 2013 17:25:31 +0400
Subject: [PATCH] fix cd_workspace (do no really set script directory)

---
 run_tests.sh | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/run_tests.sh b/run_tests.sh
index a7cb2c5a..102fa595 100755
--- a/run_tests.sh
+++ b/run_tests.sh
@@ -8,14 +8,11 @@ set -e
 # change dir to the path of the directory in which a current bash script is located
 # source: http://stackoverflow.com/a/179231/842168
 function cd_workspace() {
-  pushd . > /dev/null
   SCRIPT_PATH="${BASH_SOURCE[0]}";
   if ([ -h "${SCRIPT_PATH}" ]) then
     while([ -h "${SCRIPT_PATH}" ]) do cd `dirname "$SCRIPT_PATH"`; SCRIPT_PATH=`readlink "${SCRIPT_PATH}"`; done
   fi
   cd `dirname ${SCRIPT_PATH}` > /dev/null
-  SCRIPT_PATH=`pwd`;
-  popd  > /dev/null
 }
 
 function license_check() {