lib/scripts/getplatform
changeset 2346 c0165f34e987
child 2561 8ef656dbf4fa
equal deleted inserted replaced
2345:8e45991e3601 2346:c0165f34e987
       
     1 #
       
     2 # $Id$
       
     3 #
       
     4 # getplatform - bash source script to augment current env.
       
     5 #
       
     6 
       
     7 #get bash-style platform info
       
     8 unset HOSTTYPE
       
     9 unset OSTYPE
       
    10 PLATFORM=$(bash -norc -c 'echo $HOSTTYPE-$OSTYPE')