Searched refs:OPTION_ABI (Results 1 – 3 of 3) sorted by relevance
134 if [ -n "$OPTION_ABI" ] ; then136 OPTION_ABI=$(commas_to_spaces $OPTION_ABI)137 if [ -n "$OPTION_ARCH" -a "$OPTION_ARCH" != "$OPTION_ABI" ]; then141 OPTION_ARCH=$OPTION_ABI
43 OPTION_ABI=67 OPTION_ABI=$optarg96 if [ -n "$OPTION_ABI" ] ; then97 ABI=$OPTION_ABI
69 OPTION_ABI=105 OPTION_ABI=$optarg199 if [ -n "$OPTION_ABI" ] ; then201 OPTION_ABI=$(commas_to_spaces $OPTION_ABI)202 if [ -n "$OPTION_ARCH" -a "$OPTION_ARCH" != "$OPTION_ABI" ]; then206 OPTION_ARCH=$OPTION_ABI