docker-build-arvados-shell-server-runtime:
docker build -t ${REPO}/arvados-shell-server-runtime -f Dockerfile.shell_server-runtime .
docker-push-arvados-shell-server-runtime: docker-build-arvados-shell-server-runtime
docker-build-arvados-shell-server-runtime:
docker build -t ${REPO}/arvados-shell-server-runtime -f Dockerfile.shell_server-runtime .
docker-push-arvados-shell-server-runtime: docker-build-arvados-shell-server-runtime