diff --git a/.gitignore b/.gitignore index 1ceb054951d..024b426a3b1 100644 --- a/.gitignore +++ b/.gitignore @@ -26,6 +26,3 @@ capture/ # Node.js node_modules/ - -# Docker build -docker/src diff --git a/docker/build.sh b/docker/build.sh index 5c2d3e634ee..cdaa092c410 100755 --- a/docker/build.sh +++ b/docker/build.sh @@ -100,13 +100,13 @@ load_env() { # Clone repositories clone_repositories() { cd "$WORKSPACE_ROOT" - if [ ! -d "docker/src" ]; then - mkdir -p docker/src - vcs import docker/src