diff options
Diffstat (limited to 'Assignment2/src/start.sh')
-rwxr-xr-x | Assignment2/src/start.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Assignment2/src/start.sh b/Assignment2/src/start.sh index aafbd9e..d07316f 100755 --- a/Assignment2/src/start.sh +++ b/Assignment2/src/start.sh @@ -2,7 +2,7 @@ DOCKER_IMAGE=stormpy DOCKER_NAME=stormpy -docker build -q -t $DOCKER_IMAGE . +docker build -q -t $DOCKER_IMAGE . || exit docker run\ --mount type=bind,source="$PWD",target=/src\ |