Searched refs:OPTION_ARCH (Results 1 – 2 of 2) sorted by relevance
131 if [ -n "$OPTION_ARCH" ]; then132 OPTION_ARCH=$(commas_to_spaces $OPTION_ARCH)138 if [ -n "$OPTION_ARCH" -a "$OPTION_ARCH" != "$OPTION_ABI" ]; then142 OPTION_ARCH=$OPTION_ABI
69 OPTION_ARCH=105 OPTION_ARCH=$optarg209 if [ -n "$OPTION_ARCH" ]; then210 OPTION_ARCH=$(commas_to_spaces $OPTION_ARCH)216 if [ -n "$OPTION_ARCH" -a "$OPTION_ARCH" != "$OPTION_ABI" ]; then220 OPTION_ARCH=$OPTION_ABI223 if [ -n "$OPTION_ARCH" ] ; then224 ARCHS="$OPTION_ARCH"