From 0a20324e01210b6654c5f4415efd53d44c2c5246 Mon Sep 17 00:00:00 2001
From: Alon Levy <alon@pobox.com>
Date: Sat, 25 Apr 2015 16:56:34 +0300
Subject: docker: move Dockerfile to res/docker, leave scripts in
 src/local/docker

---
 src/local/docker/docker-build.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/local/docker/docker-build.sh')

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
-- 
cgit v1.3.1