From f756bf6c86e6ea91aacbcc05b9cb0fa75bdcdef1 Mon Sep 17 00:00:00 2001
From: Dan Liew <daniel.liew@imperial.ac.uk>
Date: Fri, 6 Oct 2017 16:27:31 +0100
Subject: [PATCH] [TravisCI] Fix undefined SCRIPT_DIR variable

---
 contrib/ci/scripts/test_z3_system_tests.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/contrib/ci/scripts/test_z3_system_tests.sh b/contrib/ci/scripts/test_z3_system_tests.sh
index d61a0ef02..1b6433806 100755
--- a/contrib/ci/scripts/test_z3_system_tests.sh
+++ b/contrib/ci/scripts/test_z3_system_tests.sh
@@ -17,6 +17,7 @@ if [ "X${RUN_SYSTEM_TESTS}" != "X1" ]; then
 fi
 
 # Sanitizer environment variables
+SCRIPT_DIR="$( cd ${BASH_SOURCE[0]%/*} ; echo $PWD )"
 source ${SCRIPT_DIR}/sanitizer_env.sh
 
 Z3_EXE="${Z3_BUILD_DIR}/z3"