Change top repo command to fix CI

2019-01-23 12:12:18 +01:00
parent 8554880297
commit cfc6000948
1 changed files with 1 additions and 1 deletions
--- a/tests/runtests.sh
+++ b/tests/runtests.sh
@@ -1,6 +1,6 @@
 #/bin/bash

-REPO_TOP=$(git rev-parse --show-toplevel)
+REPO_TOP="$(dirname $0)/.."
 cd "${REPO_TOP}"

 echo "Basic environment"