From: Nathaniel Wesley Filardo <nwf@cs.jhu.edu>
Date: Sun, 30 Jul 2017 01:34:55 +0000 (-0400)
Subject: push* scripts: use luasrcdiet if directed
X-Git-Url: https://hydra-www.ietfng.org/gitweb/?a=commitdiff_plain;h=52886226fdcaa4f8e8e39aab0a2070a5f7733233;p=acmetensortoys-esp-lua_ctfws

push* scripts: use luasrcdiet if directed

If ${LUADIET} is empty, send files as they are; otherwise, stream them
through luasrcdiet.  To use the default options, use 'LUADIET=' '" or
something to that effect.  This can be set per-file, should some module
turn out to be broken by dieting.

The "dopush" utility macro is split and now called "dopushlua" and
"dopushtext" (which skips luasrcdiet even if it is engaged).
---

diff --git a/pushall.sh b/pushall.sh
index bf96177..5da4613 100755
--- a/pushall.sh
+++ b/pushall.sh
@@ -6,11 +6,11 @@ set -e -u
 
 pushsrc() {
   dopushcompile util/compileall.lua
-  dopush net/nwfmqtt.lua
-  dopush _external/lcd1602.lua
-  dopush examples/ctfws/ctfws.lua
-  dopush examples/ctfws/ctfws-lcd.lua
-  dopush examples/ctfws/init3.lua
+  dopushlua     net/nwfmqtt.lua
+  dopushlua     _external/lcd1602.lua
+  dopushlua     examples/ctfws/ctfws.lua
+  dopushlua     examples/ctfws/ctfws-lcd.lua
+  dopushlua     examples/ctfws/init3.lua
   dopushcompile examples/ctfws/init2.lua
 }
 
@@ -27,7 +27,7 @@ pushconf() {
     exit 1
   fi
   for f in ${CONFDIR}/*; do
-    dopush "$f"
+    dopushtext "$f"
   done
 }