Add build files

2017-07-25 12:15:59 +01:00
parent 763a5c7436
commit 11bcf77402
7 changed files with 85 additions and 0 deletions
--- a/brick/mk
+++ b/brick/mk
@ -0,0 +1,7 @@
+#!/bin/sh
+set -xe
+scp -qr * vm:linux/pxt/ 
+ssh vm "cd linux/pxt; make $1"
+mkdir -p bin
+scp vm:linux/pxt/bin/* bin/
+