diff options
Diffstat (limited to '')
| -rw-r--r-- | c/src/tests/tools/generic/difftest | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/c/src/tests/tools/generic/difftest b/c/src/tests/tools/generic/difftest index 9a35d4285e..c051a6a91c 100644 --- a/c/src/tests/tools/generic/difftest +++ b/c/src/tests/tools/generic/difftest @@ -71,7 +71,7 @@ tests="$args" if [ ! "$tests" ] then cd $logdir - set -- `echo sp?? mp??_? psx?? sp??_g mp??_?_g psx??_g` + set -- `ls -1 sp* mp??_? psx* sp*_g mp*_?_g psx*_g 2>/dev/null | grep -v info` cd .. tests="$*" fi |