blob: 4283c012efeac86b92713910ea9979f9a12866a5 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
|
#!/bin/sh
kill_tlsdated() {
kill -TERM $PPID
}
passed() {
kill_tlsdated
echo "ok"
}
failed() {
kill_tlsdated
echo "failed"
}
mydir() {
echo "$(dirname "$0")"
}
counter() {
cat "$(mydir)"/"$1"
}
inc_counter() {
c=$(counter "$1")
echo $((c + 1)) >"$(mydir)"/"$1"
}
reset_counter() {
echo 0 > "$(mydir)"/"$1"
}
|
