43839d1090
It was a bit awkward using `mgmt run lang --lang <input>` so instead, we now drop the --lang, and read the positional argv for the input. This also does the same for the --yaml frontend.
10 lines
253 B
Bash
Executable File
10 lines
253 B
Bash
Executable File
#!/bin/bash -e
|
|
|
|
. "$(dirname "$0")/../util.sh"
|
|
|
|
# should take slightly more than 35s, but fail if we take much longer)
|
|
$TIMEOUT "$MGMT" run --converged-timeout=5 --no-watch --no-pgp --tmp-prefix yaml t5.yaml &
|
|
pid=$!
|
|
wait $pid # get exit status
|
|
exit $?
|