From 05c2ca67f0f74c79310c7c7a5d316a5687b962c8 Mon Sep 17 00:00:00 2001
From: Nathaniel Wesley Filardo <nwf@cs.jhu.edu>
Date: Tue, 11 Oct 2016 18:09:45 -0400
Subject: [PATCH] host/pushcommon.sh for push scripts

---
 pushall.sh | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/pushall.sh b/pushall.sh
index 15b7740..84533da 100755
--- a/pushall.sh
+++ b/pushall.sh
@@ -1,9 +1,8 @@
 #!/bin/bash
 
 set -e -u
-PUSHCMD="./host/pushvia.expect ${HOST} ${PORT:-23}"
-dopush() { ${PUSHCMD} ${2:-`basename $1`} $1; }
-dopushcompile() { ${PUSHCMD} ${2:-`basename $1`} $1 compile; }
+
+. ./host/pushcommon.sh
 
 dopushcompile net/nwfmqtt.lua
 dopushcompile cap1188/cap1188.lua
-- 
2.50.1