#! /bin/sh PATH=/bin:/usr/bin DIR={Xinu-directory} OUTFILE=$1 shift $DIR/bin/nm11 -n serve11 | egrep ' T | D | B ' > $OUTFILE &