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
25 lines
483 B
Bash
Executable File
25 lines
483 B
Bash
Executable File
#!/usr/bin/env -S bash -e
|
|
# vim: noet:ts=8:sts=8:sw=8
|
|
|
|
. "$(dirname "$0")/../util.sh"
|
|
|
|
set -x
|
|
|
|
if ! timeout 1s sudo -A true; then
|
|
echo "sudo disabled: not checking file owner and group"
|
|
exit
|
|
fi
|
|
|
|
# run till completion
|
|
$TIMEOUT sudo -A "$MGMT" run --converged-timeout=5 --no-watch --tmp-prefix lang file-source.mcl &
|
|
pid=$!
|
|
wait $pid # get exit status
|
|
e=$?
|
|
|
|
ls -l /tmp/mgmt
|
|
|
|
test -e /tmp/mgmt/file-source.txt
|
|
cmp --silent file-source.txt /tmp/mgmt/file-source.txt || exit 1
|
|
|
|
exit $e
|