# $Id: runlist.sh,v 1.1.1.1 1994/08/29 15:30:14 cgd Exp $ if [ "X$1" = "X-d" ]; then SHELLCMD=cat shift else SHELLCMD="sh -e" fi ( while [ "X$1" != "X" ]; do cat $1 shift done ) | awk -f ${TOPDIR}/list2sh.awk | ${SHELLCMD}