tools/run.sh

10 lines
109 B
Bash
Executable file

#!/usr/bin/env sh
target=$(cat .target)
[ -n "$target" ] || exit 1
make generate
"./output/$target" "$@"