diff --git a/Makefile b/Makefile index 5b5c64a2..34b579fd 100644 --- a/Makefile +++ b/Makefile @@ -1,5 +1,5 @@ .DEFAULT: all -.PHONY: all publish clean +.PHONY: all publish clean tests # If you can use docker without being root, you can do "make SUDO=" SUDO=sudo