diff options
Diffstat (limited to 'src/local/docker/docker-build.sh')
| -rwxr-xr-x | src/local/docker/docker-build.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/local/docker/docker-build.sh b/src/local/docker/docker-build.sh index 82b48f8d..f7931374 100755 --- a/src/local/docker/docker-build.sh +++ b/src/local/docker/docker-build.sh @@ -1,5 +1,5 @@ #!/bin/bash -ROOT_DOCKER_DIR=$(dirname $(realpath $0)) +ROOT_DOCKER_DIR=$(dirname $(realpath $0))/../../../res/docker/ FEDORA_DOCKER=$ROOT_DOCKER_DIR/fedora if [ ! -e .git ]; then echo run from top level checkout of rhizi repository |