machine=`uname`

if test $machine = "OSF1" 
then
  make -f Makefile.osf1 $*
elif test $machine = "HP-UX" 
then
  make -f Makefile.hpux $*
fi