Merge pull request #2163 from euanh/shell-needs-build-image

Makefile: build image is a prerequisite of the shell target
This commit is contained in:
Flavio Crisciani 2018-05-25 07:54:43 -07:00 committed by GitHub
commit 350fc8fc17
1 changed files with 1 additions and 1 deletions

View File

@ -135,5 +135,5 @@ circle-ci-build: ${build_image}.created
circle-ci: circle-ci-build circle-ci-check circle-ci-cross integration-tests
shell:
shell: ${build_image}.created
@${docker} ${SHELL}