From 3c4fb72fdc97a95c821a68e849f2e0a059ea5b8c Mon Sep 17 00:00:00 2001
From: Andy Chu <andy@oilshell.org>
Date: Sat, 6 Oct 2018 20:49:45 -0700
Subject: [PATCH] [c-i] Publish a temporary version of re2c built on Ubuntu
 16.04.

We can do something more principled once everything else works.
---
 doc/release-index.md | 2 +-
 test/spec-bin.sh     | 8 ++++++++
 2 files changed, 9 insertions(+), 1 deletion(-)

diff --git a/doc/release-index.md b/doc/release-index.md
index cfd9fba68c..636b1321fb 100644
--- 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
index 4776d87aa7..f2402c1fa8 100755
--- 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
+}
+
 "$@"