diff --git a/Makefile b/Makefile index 0485b4587..700177dd1 100644 --- a/Makefile +++ b/Makefile @@ -323,5 +323,5 @@ status: # if git status --porcelain | grep -q . ; then \ # dirty="-dirty-$$(git status --porcelain | md5sum | cut -c 1-7)"; \ # fi; \ -# docker build . -t "$${image_name}:$${git_commit_short_sha}$${dirty}" -# +# docker build . -t "$${image_name}:$${git_commit_short_sha}$${dirty}" && +# docker images | grep "^$$image_name"