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= optional() { - option="$OPTIONFLAGS" | egrep "(^|:)$1(:|\$)" + option=`echo "$OPTIONFLAGS" | egrep "(^|:)$1(:|\$)"` # Not set? - if [[ -z "$1" || -z "$OPTIONFLAGS" || ${#option} -ne 0 ]] + if [ -z "$1" ] || [ -z "$OPTIONFLAGS" ] || [ ${#option} -ne 0 ] then SKIP="" return |