diff options
Diffstat (limited to 'testsuite/testing.sh')
| -rw-r--r-- | testsuite/testing.sh | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/testsuite/testing.sh b/testsuite/testing.sh index e7e64e58b..f5b756947 100644 --- a/testsuite/testing.sh +++ b/testsuite/testing.sh @@ -56,10 +56,10 @@ optional() { SKIP= while test "$1"; do - if test x"${OPTIONFLAGS/*:$1:*/y}" != x"y"; then - SKIP=1 - return - fi + case "${OPTIONFLAGS}" in + *:$1:*) ;; + *) SKIP=1; return ;; + esac shift done } |