Revert "Change top repo command to fix CI"

This reverts commit cfc6000948.
This commit is contained in:
David Beniamine
2019-01-23 12:19:21 +01:00
parent 74ea6248dd
commit 739d58ec8c

View File

@@ -1,6 +1,6 @@
#!/bin/bash
REPO_TOP="$(dirname $0)/.."
REPO_TOP=$(git rev-parse --show-toplevel)
cd "${REPO_TOP}"
echo "Basic environment"