# HG changeset patch # User Tomas Lindquist Olsen # Date 1235942857 -3600 # Node ID 6fccb5a036e42c0b1fb5a0965cb379c1c03a6837 # Parent d1ec9ff0e9ba0f33b50a77b71cf40245ec075a15 Added script to find the alternative triple of the host. diff -r d1ec9ff0e9ba -r 6fccb5a036e4 find-alt-triple.sh --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/find-alt-triple.sh Sun Mar 01 22:27:37 2009 +0100 @@ -0,0 +1,19 @@ +#!/bin/sh + +HOST_TARGET=$1 + +[ "$HOST_TARGET" == "" ] && exit 1 + +REST=`echo $HOST_TARGET | sed -e 's/[a-zA-Z0-9_]*\(\-.*\)/\1/'` +X86=`echo $HOST_TARGET | sed -e 's/\(i[3-9]86\)\-.*/\1/'` +X86_64=`echo $HOST_TARGET | sed -e 's/\(x86_64\)\-.*/\1/'` + +ALT= +if [ "$X86_64" != "$HOST_TARGET" ]; then + ALT="i686$REST" + +elif [ "$X86" != "$HOST_TARGET" ]; then + ALT="x86_64$REST" +fi + +echo $ALT