From bb3b2a8f5e6173a93c3c3462accaf0195ab0243a Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Fri, 20 Apr 2018 17:55:52 +0200
Subject: [PATCH] Travis: use absolute path

---
 travis/build.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/travis/build.sh b/travis/build.sh
index 209a1b3..2bbe2e8 100755
--- a/travis/build.sh
+++ b/travis/build.sh
@@ -13,7 +13,7 @@ linux)
     set -e
     docker run -d -it --name stormpy --privileged movesrwth/$DOCKER
     # Copy local content into container
-    docker exec stormpy mkdir opt/stormpy
+    docker exec stormpy mkdir /opt/stormpy
     docker cp . stormpy:/opt/stormpy
     # Install virtualenv
     docker exec stormpy apt-get update
@@ -27,7 +27,7 @@ linux)
         export PYTHON=$PYTHON;
         export CONFIG=$CONFIG;
         export TASK=$TASK;
-        cd opt/stormpy;
+        cd /opt/stormpy;
         travis/build-helper.sh"
     exit $?
     ;;