[fix] fix travis build

2025-12-22 11:40:01 +00:00 · 2020-03-31 11:59:54 +02:00
parent 949378a07f
commit d425e26e80
2 changed files with 4 additions and 1 deletions
--- a/3
+++ b/3
@@ -169,6 +169,9 @@ PHONY += docker
 docker: buildenv
 	$(Q)./manage.sh docker_build

+docker.push: buildenv
+	$(Q)./manage.sh docker_build push
+
 # gecko
 # -----