Switch to unified view

a/tests/runtests.sh b/tests/runtests.sh
...
...
4
    echo must be run in the top test directory
4
    echo must be run in the top test directory
5
    exit 1
5
    exit 1
6
fi
6
fi
7
7
8
. shared.sh
8
. shared.sh
9
10
recollindex -z
9
11
10
# Yes, we could/should use the $toptmp from shared.sh here, but what if
12
# Yes, we could/should use the $toptmp from shared.sh here, but what if
11
# this is unset ?
13
# this is unset ?
12
toptmp=${TMPDIR:-/tmp}/recolltsttmp
14
toptmp=${TMPDIR:-/tmp}/recolltsttmp
13
if test -d "$toptmp" ; then
15
if test -d "$toptmp" ; then