summaryrefslogtreecommitdiff
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 c1002a6..f16f4c7 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