diff options
| author | Alon Levy <alon@pobox.com> | 2015-04-25 16:56:34 +0300 |
|---|---|---|
| committer | Alon Levy <alon@pobox.com> | 2015-04-25 21:05:19 +0300 |
| commit | 0a20324e01210b6654c5f4415efd53d44c2c5246 (patch) | |
| tree | 2e4e94d3e4cbd38ca119cbbe01949bba79e66e67 /src/local/docker/docker-build.sh | |
| parent | a654aa8a47b9425922cb7f6427e302c62f6e539b (diff) | |
docker: move Dockerfile to res/docker, leave scripts in src/local/docker
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 |