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
+                case "${OPTIONFLAGS}" in
-                        SKIP=1
+                        *:$1:*) ;;
-                        return
+                        *) SKIP=1; return ;;
-                fi
+                esac
                shift
        done
 }

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()
56	{	56	{
57	SKIP=	57	SKIP=
58	while test "$1"; do	58	while test "$1"; do
59	if test x"${OPTIONFLAGS/:$1:/y}" != x"y"; then	59	case "${OPTIONFLAGS}" in
60	SKIP=1	60	:$1:) ;;
61	return	61	*) SKIP=1; return ;;
62	fi	62	esac
63	shift	63	shift
64	done	64	done
65	}	65	}