#!/bin/sh

if [ -f /bin/sun ] && /bin/sun ; then
    exec make_sun ARCH=sun "$@"
else
    exec make_vax ARCH=vax "$@"
fi
