# $Id: runlist.sh,v 1.1.1.1 1996/05/17 12:25:37 oki 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}