From 6eb08c92560ac2cd42ecb824cf52ce21c8c36c3c Mon Sep 17 00:00:00 2001
From: Michael Snoyman <michael@snoyman.com>
Date: Tue, 8 Sep 2015 18:44:32 +0300
Subject: [PATCH] Add make push

---
 Makefile | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index d43d00e..204ed85 100644
--- a/Makefile
+++ b/Makefile
@@ -70,4 +70,12 @@ docker-integer-simple: | root/bin/sh root/lib/x86_64-linux-gnu/libc.so.6 root/li
 clean:
 	@rm -rf root
 
-.PHONY: default docker-integer-gmp docker-integer-simple clean
+push:
+	@docker tag -f haskell-scratch:integer-gmp fpco/haskell-scratch:integer-gmp
+	@docker push fpco/haskell-scratch:integer-gmp
+	@docker tag -f haskell-scratch:integer-simple fpco/haskell-scratch:integer-simple
+	@docker push fpco/haskell-scratch:integer-simple
+	@docker tag -f haskell-scratch:integer-simple fpco/haskell-scratch:latest
+	@docker push fpco/haskell-scratch:latest
+
+.PHONY: default docker-integer-gmp docker-integer-simple clean push