diff options
author | Rob Landley <rob@landley.net> | 2006-02-16 12:00:57 +0300 |
---|---|---|
committer | Rob Landley <rob@landley.net> | 2006-02-16 12:00:57 +0300 |
commit | 006fa2d45b16fbc5cdc256e533b2bbe1b4e60c0e (patch) | |
tree | 2c237b4a1f710dc5e6762878f75ee7b125d0e72d /testsuite/testing.sh | |
parent | d1e38c07e6d05b1c36e2780a56145457a00898ff (diff) |
When setting an environment variable by piping something into grep, backquotes
can be useful. Also tweak an if case to be more portable.
Diffstat (limited to 'testsuite/testing.sh')
-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 |