#!/bin/tcsh -f
#
#
if (${HOSTTYPE} == "alpha") then
makehkl_alpha $*
else
if (${HOSTTYPE} == "ia64-linux") then
makehkl_ia64 $*
else
makehkl_sg $*
endif
#
#