From 6c06dcf3fee5a4f0c8f72c237de7bd30b7a2379b Mon Sep 17 00:00:00 2001 From: Adam Megacz Date: Mon, 28 Mar 2011 01:44:16 -0700 Subject: [PATCH 1/1] add pushcheck --- Makefile | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/Makefile b/Makefile index d8bc76a..9067ab0 100644 --- a/Makefile +++ b/Makefile @@ -36,6 +36,11 @@ merged: echo COMPILATION OK echo +pushcheck: + ssh megacz.com -- 'rm -rf /tmp/pushcheck; mkdir /tmp/pushcheck; cd /tmp/pushcheck; git clone http://git.megacz.com/ghc-hetmet.git && git clone http://git.megacz.com/coq-hetmet.git ghc-hetmet/compiler/hetmet' + rsync -are ssh --progress --verbose --exclude .git --exclude src/categories/build/ --exclude build/ ./ megacz.com:/tmp/pushcheck/ghc-hetmet/compiler/hetmet/ + ssh megacz.com -- '/vol/megacz/pushcheck2.sh' + # this is for Adam's use only! push: build/CoqPass.hs -- 1.7.10.4