Home | History | Annotate | Download | only in tools

Lines Matching refs:xopt

401         for xopt in $OPTIONS; do
402             if [ "$name" != "$xopt" ] ; then