commit 8e3aff0ce03cbc44b2fa80fb62fa2378a5212a5a
author Denys Vlasenko <vda.linux@googlemail.com> Mon May 10 11:00:11 2010 +0200
committer Denys Vlasenko <vda.linux@googlemail.com> Mon May 10 11:00:11 2010 +0200
tree 844103368dc1723c860a0d11cc30b3540cea67e0
parent e3d90a90d43b857a5305808560d485b030a15c0a

more randomconfig testsuite fixes

Signed-off-by: Denys Vlasenko <vda.linux@googlemail.com>

testsuite/testing.sh

diff --git a/testsuite/testing.sh b/testsuite/testing.sh
index 22c640f..65a0f65 100755
--- a/testsuite/testing.sh
+++ b/testsuite/testing.sh
@@ -54,14 +54,14 @@
 
 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