diff options
| -rwxr-xr-x | testsuite/testing.sh | 4 |
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 | ||
| 43 | optional() | 43 | optional() |
| 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 |
