From cfc60009484fd795f6c1e391cac9792f124407dc Mon Sep 17 00:00:00 2001
From: David Beniamine <david@beniamine.net>
Date: Wed, 23 Jan 2019 12:12:18 +0100
Subject: [PATCH] Change top repo command to fix CI

---
 tests/runtests.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tests/runtests.sh b/tests/runtests.sh
index 5774bfa..c99569b 100644
--- 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"