lib/scripts/getplatform
changeset 2561 8ef656dbf4fa
parent 2346 c0165f34e987
equal deleted inserted replaced
2560:c57b585eecd9 2561:8ef656dbf4fa
     2 # $Id$
     2 # $Id$
     3 #
     3 #
     4 # getplatform - bash source script to augment current env.
     4 # getplatform - bash source script to augment current env.
     5 #
     5 #
     6 
     6 
     7 #get bash-style platform info
     7 #get bash-style platform info -- has to work around some tricky features
     8 unset HOSTTYPE
     8 unset HOSTTYPE
     9 unset OSTYPE
     9 unset OSTYPE
    10 PLATFORM=$(bash -norc -c 'echo $HOSTTYPE-$OSTYPE')
    10 PLATFORM=$(unset ENV; unset BASH_ENV; bash -norc -c 'echo $HOSTTYPE-$OSTYPE')