diff options
Diffstat (limited to 'testsuite/testing.sh')
| -rwxr-xr-x | testsuite/testing.sh | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/testsuite/testing.sh b/testsuite/testing.sh index 22c640faf..65a0f6529 100755 --- a/testsuite/testing.sh +++ b/testsuite/testing.sh @@ -54,14 +54,14 @@ test x"$ECHO" != x"" || { optional() { - option=`echo ":$OPTIONFLAGS:" | grep ":$1:"` - # Not set? - if [ -z "$1" ] || [ -z "$OPTIONFLAGS" ] || [ ${#option} -ne 0 ] - then - SKIP= - return - fi - SKIP=1 + SKIP= + while test "$1"; do + if test x"${OPTIONFLAGS/*:$1:*/y}" != x"y"; then + SKIP=1 + return + fi + shift + done } # The testing function |