#usage to print the way this script should be called
function usage () {
echo "usage:"
echo "$0 [-quiet] [-keep-temps]"
echo " [-np <numprocs>] -platform <xmldesc> -hostfile <hostfile> [-map] program [program-options]"
#usage to print the way this script should be called
function usage () {
echo "usage:"
echo "$0 [-quiet] [-keep-temps]"
echo " [-np <numprocs>] -platform <xmldesc> -hostfile <hostfile> [-map] program [program-options]"