Fix failed to find init_tools.sh (#1417)

This commit is contained in:
Ta-Ching Chen
2019-11-18 17:00:56 +08:00
committed by GitHub
parent 8b0d99d65d
commit 7a770b8627
+2 -2
View File
@@ -3,11 +3,11 @@
set -e
#set -x
source $(realpath $(dirname $BASH_SOURCE)/../test/init_tools.sh)
DIR=$(realpath $(dirname $0))/../
BUILDDIR=$(realpath $DIR)/build
source $(realpath ${DIR}/test/init_tools.sh)
# Ensure we're on the master branch
check_branch() {
local version=$1