ulimit -c unlimited

if [ -f /home/jimb/testing/meissner-site.exp ]; then
  export DEJAGNU=/home/jimb/testing/meissner-site.exp
elif [ -f /home/jimb/testing/site.exp ]; then
  export DEJAGNU=/home/jimb/testing/site.exp
fi

add_bin_man "$HOME/dejagnu"