diff --git a/docker/build.sh b/docker/build.sh index e567d4cdab9..facb5291a6a 100755 --- a/docker/build.sh +++ b/docker/build.sh @@ -59,6 +59,9 @@ echo "[ok] DOMjudge version ${VERSION} downloaded as domjudge.tar.gz"; echo section_end fi +cd .. && tar c --exclude=./.git . | docker build -t domserver -f docker/domserver/Dockerfile.source - +exit 0 + if [ "${BUILD_FROM_SOURCE-1}" != 0 ]; then echo "[..] Boostrapping..." tar c -C .. --exclude=./.git --exclude="./docker/*.tar.gz" . |