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