[c-i] Publish a temporary version of re2c built on Ubuntu 16.04.

We can do something more principled once everything else works.
oilshell · Oct 7, 2018 · 3c4fb72 · 3c4fb72
1 parent d24f6ab
commit 3c4fb72
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 1 deletion.
diff --git a/doc/release-index.md b/doc/release-index.md
@@ -95,7 +95,7 @@ Tree-shaking:
   parse compared to other shells?
 - [OSH Runtime](benchmarks.wwz/osh-runtime/).  How fast does OSH
   run compared to other shells?
-- [Virtual Memory Baseline](benchmarks.wwz/vm-baseline/).  How much memory to
+- [Virtual Memory Baseline](benchmarks.wwz/vm-baseline/).  How much memory do
   shells use at startup?
 - [OVM Build](benchmarks.wwz/ovm-build/).  How long does it take for end users
   to build Oil?  How big is the resulting binary?

diff --git a/test/spec-bin.sh b/test/spec-bin.sh
@@ -159,4 +159,12 @@ download-shell-source() {
   _wget https://downloads.sourceforge.net/project/zsh/zsh/5.3.1/zsh-5.3.1.tar.xz
 }
 
+publish-tmp() {
+  local name=$1  # required
+
+  local dest=oilshell.org/share/2018-10-06-tmp/
+  ssh ${name}@${name}.org mkdir -p $dest
+  scp _deps/re2c-1.0.3/re2c ${name}@${name}.org:$dest
+}
+
 "$@"