#!/usr/bin/bash # Author: Chris Johnson # c.johnson@epcc.ed.ac.uk # date 16/07/03 if [ $# -gt 2 -o $# -lt 1 ] then echo "Usage: `basename $0` executable [process number]" exit 1 fi DBX_SCRIPT=dbx_script COREFILE=core MESSAGE=serial cat > $DBX_SCRIPT <&1 |grep -v 'for help' |grep -v 'internal error' |grep -v '__start' |grep -v 'warning: Unable to access address' else echo Core file "'$COREFILE'" not found echo Assuming the $MESSAGE code "'$1'" completed correctly or did not dump core fi rm $DBX_SCRIPT exit 0