#!/bin/csh -f
# nodbx: don't run under the debugger
rm -f dbx.dat ; touch dbx.dat
