Searched refs:OPTION_ABI (Results 1 – 3 of 3) sorted by relevance
135 if [ -n "$OPTION_ABI" ] ; then137 OPTION_ABI=$(commas_to_spaces $OPTION_ABI)138 if [ -n "$OPTION_ARCH" -a "$OPTION_ARCH" != "$OPTION_ABI" ]; then142 OPTION_ARCH=$OPTION_ABI
43 OPTION_ABI=67 OPTION_ABI=$optarg96 if [ -n "$OPTION_ABI" ] ; then97 ABI=$OPTION_ABI
70 OPTION_ABI=108 OPTION_ABI=$optarg213 if [ -n "$OPTION_ABI" ] ; then215 OPTION_ABI=$(commas_to_spaces $OPTION_ABI)216 if [ -n "$OPTION_ARCH" -a "$OPTION_ARCH" != "$OPTION_ABI" ]; then220 OPTION_ARCH=$OPTION_ABI