Streamlined Dockerfile [CI SKIP]

2019-04-03 01:42:23 +02:00
parent aff9648e00
commit f3717ce132
3 changed files with 7 additions and 2 deletions
--- a/5
+++ b/5
@@ -5,3 +5,8 @@ build:
 	
 push: build
 	docker push ${REPO}     
+
+pull:
+	docker pull ${REPO}
+	docker pull ${REPO}:build-event-gen
+	docker pull ${REPO}:build-boringtun