Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Avoid grep errors in
clean-unnecessary-docker
(#1089)
When `make clean-unnecessary-docker` is run twice, or when there are no docker images tagges as "<none>", make fails because grep fails: ``` Deleting unnecessary container(s)... Deleting unnecessary image(s)... make: *** [Makefile:562: clean-unnecessary-docker] Error 1 ``` Using `awk` to _also_ search for "<none>", instead of `grep`, solves this issue.
- Loading branch information