equal
deleted
inserted
replaced
46 OUT=$REAL_CPU`echo $OUT | sed -e 's/[^-]*//'` |
46 OUT=$REAL_CPU`echo $OUT | sed -e 's/[^-]*//'` |
47 fi |
47 fi |
48 |
48 |
49 # Test and fix cygwin on x86_64 |
49 # Test and fix cygwin on x86_64 |
50 echo $OUT | grep 86-pc-cygwin > /dev/null 2> /dev/null |
50 echo $OUT | grep 86-pc-cygwin > /dev/null 2> /dev/null |
|
51 if test $? != 0; then |
|
52 echo $OUT | grep 86-pc-mingw > /dev/null 2> /dev/null |
|
53 fi |
51 if test $? = 0; then |
54 if test $? = 0; then |
52 case `echo $PROCESSOR_IDENTIFIER | cut -f1 -d' '` in |
55 case `echo $PROCESSOR_IDENTIFIER | cut -f1 -d' '` in |
53 intel64|Intel64|INTEL64|em64t|EM64T|amd64|AMD64|8664|x86_64) |
56 intel64|Intel64|INTEL64|em64t|EM64T|amd64|AMD64|8664|x86_64) |
54 REAL_CPU=x86_64 |
57 REAL_CPU=x86_64 |
55 OUT=$REAL_CPU`echo $OUT | sed -e 's/[^-]*//'` |
58 OUT=$REAL_CPU`echo $OUT | sed -e 's/[^-]*//'` |