#! /bin/csh -f
# last modified on Sun Mar 17 17:42:07 PST 1991 by stolfi
#================================================
#Disable "rn" in all but jumbo:
if ( "x$MACHINE" == "xjumbo" ) then
  nice /proj/local/bin/rn
else
  echo "You should not run rn on this machine."
  exit 1
endif