--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/progs/matcher/build.sh	Thu Jul 30 13:50:54 2020 +0100
@@ -0,0 +1,7 @@
+#!/bin/bash
+set -euo pipefail
+
+amm re1.sc all
+amm re2.sc all
+amm re3.sc all
+amm re4.sc all