blob: 9e488db5348e849fee0cea8c287a464dde287c19 [file] [log] [blame]
#!/bin/sh
kill_tlsdated() {
kill -TERM $PPID
}
result_passed() {
res=$(cat "$(mydir)"/"result")
if [ $res = "ok" ]; then
return 0
fi
return 1
}
check_err() {
grep -q "$1" "$(mydir)"/"run-err"
}
passed_if_timed_out() {
echo "ok" > "$(mydir)"/"result"
}
passed() {
echo "ok" > "$(mydir)"/"result"
kill_tlsdated
}
failed() {
echo "failed" > "$(mydir)"/"result"
kill_tlsdated
}
mydir() {
echo "$(dirname "$0")"
}
counter() {
cat "$(mydir)"/"$1"
}
inc_counter() {
c=$(counter "$1")
echo $((c + 1)) >"$(mydir)"/"$1"
}
reset_counter() {
echo 0 > "$(mydir)"/"$1"
}
reset_time() {
date +%s > "$(mydir)"/"$1"
}
emit_time() {
src/test/emit `cat "$(mydir)"/"$1"`
}