diff options
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -169,6 +169,9 @@ PHONY += docker docker: buildenv $(Q)./manage.sh docker_build +docker.push: buildenv + $(Q)./manage.sh docker_build push + # gecko # ----- |