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" ]