#!/bin/sh

# This script picks the right binary for a mutli-platform
#  configuration

if [ "$PLTHOME" = '' ] ; then
  PLTHOME=/usr/local/lib/plt-53
  export PLTHOME
fi

SYS=`${PLTHOME}/bin/archsys`

exec ${PLTHOME}/.bin/${SYS}/mred -s mzos ${1+"$@"}

