aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xtestsuite/testing.sh4
1 files changed, 2 insertions, 2 deletions
diff --git a/testsuite/testing.sh b/testsuite/testing.sh
index c1002a6aa..f16f4c7e8 100755
--- a/testsuite/testing.sh
+++ b/testsuite/testing.sh
@@ -42,9 +42,9 @@ export SKIP=
42 42
43optional() 43optional()
44{ 44{
45 option="$OPTIONFLAGS" | egrep "(^|:)$1(:|\$)" 45 option=`echo "$OPTIONFLAGS" | egrep "(^|:)$1(:|\$)"`
46 # Not set? 46 # Not set?
47 if [[ -z "$1" || -z "$OPTIONFLAGS" || ${#option} -ne 0 ]] 47 if [ -z "$1" ] || [ -z "$OPTIONFLAGS" ] || [ ${#option} -ne 0 ]
48 then 48 then
49 SKIP="" 49 SKIP=""
50 return 50 return