Searched refs:ARCH_OPTION (Results 1 – 4 of 4) sorted by relevance
21 ARCH_OPTION=$225 echo ARCH_OPTION $ARCH_OPTION41 if [ "$ARCH_OPTION" != "32" ] && [ "$ARCH_OPTION" != "64" ]; then76 if [ "$ARCH_OPTION" == "64" ]; then118 ./make_driver.sh $XILINX_DIR $ARCH_OPTION
14 ARCH_OPTION=$230 if [ "$ARCH_OPTION" != "32" ] && [ "$ARCH_OPTION" != "64" ]; then38 if [ "$ARCH_OPTION" == "64" ]; then
15 ARCH_OPTION=$233 if [ "$ARCH_OPTION" != "32" ] && [ "$ARCH_OPTION" != "64" ]; then41 if [ "$ARCH_OPTION" == "64" ]; then
25 ARCH_OPTION=$241 if [ "$ARCH_OPTION" != "32" ] && [ "$ARCH_OPTION" != "64" ]; then48 if [ "$ARCH_OPTION" == "64" ]; then