diff options
author | Denys Vlasenko <vda.linux@googlemail.com> | 2010-05-10 13:00:11 +0400 |
---|---|---|
committer | Denys Vlasenko <vda.linux@googlemail.com> | 2010-05-10 13:00:11 +0400 |
commit | 8e3aff0ce03cbc44b2fa80fb62fa2378a5212a5a (patch) | |
tree | 844103368dc1723c860a0d11cc30b3540cea67e0 /testsuite/testing.sh | |
parent | e3d90a90d43b857a5305808560d485b030a15c0a (diff) |
more randomconfig testsuite fixes
Signed-off-by: Denys Vlasenko <vda.linux@googlemail.com>
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 |