Lines Matching refs:IS_64BIT
520 IS_64BIT=$1
524 if [ "$IS_64BIT" = "true" ]
545 IS_64BIT=$1
549 if [ "$IS_64BIT" = "true" ]
617 IS_64BIT=$1
621 if [ "$IS_64BIT" = "true" ]
642 IS_64BIT=$1
646 if [ "$IS_64BIT" = "true" ]
666 IS_64BIT=$1
670 if [ "$IS_64BIT" = "true" ]
691 IS_64BIT=$1
695 if [ "$IS_64BIT" = "true" ]
715 IS_64BIT=$1
719 if [ "$IS_64BIT" = "true" ]