# $Id: runlist.sh,v 1.1 1995/10/01 21:22:20 ragge 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}