summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xconfigure12
1 files changed, 6 insertions, 6 deletions
diff --git a/configure b/configure
index 64a7fc9..8ef4ac1 100755
--- a/configure
+++ b/configure
@@ -25,15 +25,15 @@ trap 'status=$?; rm -rf $TMPDIR; exit $status' EXIT HUP INT QUIT TERM
tools_remove()
{
local _tools=$TOOLS
+ local _todel=$1
TOOLS=""
for tool in $_tools ; do
case "$tool" in
- $1)
- m=`expr match \"$TOOLS_NOBUILD\" '$1'`
- if [ "$m" == "0" ] ; then
- TOOLS_NOBUILD="$TOOLS_NOBUILD $tool"
- fi
- ;;
+ $_todel)
+ case $_todel in
+ $TOOLS_NOBUILD) ;;
+ *) TOOLS_NOBUILD="$TOOLS_NOBUILD $tool" ;;
+ esac ;;
*) TOOLS="$TOOLS $tool" ;;
esac
done