progs/matcher/build.sh
author Christian Urban <christian.urban@kcl.ac.uk>
Fri, 13 Nov 2020 15:03:48 +0000
changeset 803 d4fb8c7fc3bf
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