diff options
Diffstat (limited to 'build/Makefile')
| -rw-r--r-- | build/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/build/Makefile b/build/Makefile index b7605684e..1d1b74022 100644 --- a/build/Makefile +++ b/build/Makefile @@ -188,7 +188,7 @@ deepclean: clean clean-cache docker rmi opnfv.org/ubuntu-builder:14.04 &>/dev/null || exit 0 docker rmi opnfv.org/ubuntu-builder:latest &>/dev/null || exit 0 docker rmi ubuntu:14.04 &>/dev/null || exit 0 - @if docker images | grep -q "ubuntu *14.04"; then \ + @if docker images | grep -q "^ubuntu *14.04"; then \ echo "Error: ubuntu:14.04 still present!"; \ exit 1; \ fi |