1.1 --- a/lib/scripts/getsettings	Thu Feb 06 18:22:59 1997 +0100
     1.2 +++ b/lib/scripts/getsettings	Thu Feb 06 18:27:47 1997 +0100
     1.3 @@ -9,10 +9,16 @@
     1.4  
     1.5  set -o allexport
     1.6  
     1.7 +#get bash-style platform info -- has to work around some tricky features
     1.8 +unset HOSTTYPE
     1.9 +unset OSTYPE
    1.10 +PLATFORM=$(unset ENV; unset BASH_ENV; bash -norc -c 'echo $HOSTTYPE-$OSTYPE')
    1.11 +
    1.12  . $ISABELLE_HOME/etc/settings || exit 2
    1.13  [ -f $ISABELLE_HOME_USER/etc/settings ] && . $ISABELLE_HOME_USER/etc/settings
    1.14  
    1.15  ISABELLE=$ISABELLE_HOME/bin/isabelle
    1.16  ISATOOL=$ISABELLE_HOME/bin/isatool
    1.17 +ISABELLE_OUTPUT_DIR="$ISABELLE_OUTPUT/$ML_SYSTEM-$PLATFORM"
    1.18  
    1.19  set +o allexport