progs/matcher/build.sh
author update
Mon, 05 Oct 2020 17:46:12 +0100
changeset 774 42733adf2a48
parent 742 b5b5583a3a08
permissions -rwxr-xr-x
updated

#!/bin/bash
set -euo pipefail

amm re1.sc all
amm re2.sc all
amm re3.sc all
amm re4.sc all