tools/run.sh

10 lines
109 B
Bash
Raw Normal View History

2024-01-09 15:48:11 +00:00
#!/usr/bin/env sh
target=$(cat .target)
[ -n "$target" ] || exit 1
make generate
"./output/$target" "$@"