7e8ced534f
Use path based SHELL in Makefiles. It was suggested that this is a better solution for make for cases when there is no /usr/bin/env. See: https://github.com/purpleidea/mgmt/pull/694#discussion_r1015596204
12 lines
259 B
Bash
Executable File
12 lines
259 B
Bash
Executable File
#!/usr/bin/env -S bash -e
|
|
|
|
. "$(dirname "$0")/../util.sh"
|
|
|
|
# run empty graph
|
|
$TIMEOUT "$MGMT" run --tmp-prefix --no-pgp empty &
|
|
pid=$!
|
|
sleep 10s # let it converge
|
|
$(sleep 3s && killall -SIGINT mgmt)& # send ^C to exit mgmt
|
|
wait $pid # get exit status
|
|
exit $?
|