commit 006fa2d45b16fbc5cdc256e533b2bbe1b4e60c0e
author Rob Landley <rob@landley.net> Thu Feb 16 09:00:57 2006 +0000
committer Rob Landley <rob@landley.net> Thu Feb 16 09:00:57 2006 +0000
tree 2c237b4a1f710dc5e6762878f75ee7b125d0e72d
parent d1e38c07e6d05b1c36e2780a56145457a00898ff

When setting an environment variable by piping something into grep, backquotes
can be useful.  Also tweak an if case to be more portable.

testsuite/testing.sh

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 @@
 
 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