blob: 72d019612872d0e6c13972d9279cdf8ce5ebf101 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
# $Id: runlist.sh,v 1.1 1995/10/18 08:37:33 deraadt 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}
|