diff options
Diffstat (limited to 'testsuite/testing.sh')
-rw-r--r--[-rwxr-xr-x] | testsuite/testing.sh | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/testsuite/testing.sh b/testsuite/testing.sh index 22c640faf..913d7f8ef 100755..100644 --- a/testsuite/testing.sh +++ b/testsuite/testing.sh | |||
@@ -54,14 +54,14 @@ test x"$ECHO" != x"" || { | |||
54 | 54 | ||
55 | optional() | 55 | optional() |
56 | { | 56 | { |
57 | option=`echo ":$OPTIONFLAGS:" | grep ":$1:"` | 57 | SKIP= |
58 | # Not set? | 58 | while test "$1"; do |
59 | if [ -z "$1" ] || [ -z "$OPTIONFLAGS" ] || [ ${#option} -ne 0 ] | 59 | if test x"${OPTIONFLAGS/*:$1:*/y}" != x"y"; then |
60 | then | 60 | SKIP=1 |
61 | SKIP= | 61 | return |
62 | return | 62 | fi |
63 | fi | 63 | shift |
64 | SKIP=1 | 64 | done |
65 | } | 65 | } |
66 | 66 | ||
67 | # The testing function | 67 | # The testing function |
@@ -73,7 +73,7 @@ testing() | |||
73 | 73 | ||
74 | if [ $# -ne 5 ] | 74 | if [ $# -ne 5 ] |
75 | then | 75 | then |
76 | echo "Test $NAME has wrong number of arguments (must be 5) ($# $*)" >&2 | 76 | echo "Test $NAME has wrong number of arguments: $# (must be 5)" >&2 |
77 | exit 1 | 77 | exit 1 |
78 | fi | 78 | fi |
79 | 79 | ||