added groc and coverage

2026-06-25 12:30:50 +02:00 · 2013-05-12 12:36:21 +02:00
parent 1d2116e43e
commit 3f7c13571b
6 changed files with 56 additions and 5 deletions
@@ -5,7 +5,9 @@
 set -e

 current_dir=$(cd $(dirname $0) && pwd)
-cd ${current_dir}
+base_dir=${current_dir}
+cd ${base_dir}
+

 unameStr=`uname`
 if [[ "${unameStr}" == 'Linux' ]]; then