Anki/run
2020-04-20 11:21:27 +10:00

5 lines
88 B
Bash
Executable file

#!/bin/bash
set -eu -o pipefail ${SHELLFLAGS}
make -C $(dirname $0) run RUNFLAGS="$*"