mirror of
https://https.git.savannah.gnu.org/git/gnulib.git
synced 2026-09-06 13:41:39 +00:00
13 lines
230 B
Bash
Executable File
13 lines
230 B
Bash
Executable File
#!/bin/sh
|
|
|
|
tmpfiles=""
|
|
trap 'rm -fr $tmpfiles' 1 2 3 15
|
|
|
|
tmpfiles="$tmpfiles t-tsearch.out"
|
|
./test-tsearch${EXEEXT} > t-tsearch.out 2>&1
|
|
test $? = 0 || { cat t-tsearch.out 1>&2; rm -f $tmpfiles; exit 1; }
|
|
|
|
rm -f $tmpfiles
|
|
|
|
exit 0
|