#! /bin/csh -f
# Last edited on 2000-01-12 11:44:46 by stolfi

set usage = "$0 PROGRAM ARGUMENTS"

# Runs "gdb" on PROGRAM with the given command line arguments

echo "run ${argv[2-]}" > .gdbinit
gdb "$1"