23 lines
463 B
Bash
Executable File
23 lines
463 B
Bash
Executable File
#!/bin/bash -e
|
|
# vim: noet:ts=8:sts=8:sw=8
|
|
|
|
set -x
|
|
|
|
if ! timeout 1s sudo -A true; then
|
|
echo "sudo disabled: not checking file owner and group"
|
|
exit
|
|
fi
|
|
|
|
# run till completion
|
|
$timeout --kill-after=30s 25s sudo -A "$MGMT" run --lang file-source.mcl --converged-timeout=5 --no-watch --tmp-prefix &
|
|
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
|