diff --git a/releng/run_all_releng b/releng/run_all_releng index f93abacb..932a0d9d 100755 --- a/releng/run_all_releng +++ b/releng/run_all_releng @@ -35,12 +35,13 @@ fi DSTART=`date --utc` printf "\n${SELF}: Started at ${DSTART}" E1=`date '+%s'` - # require ^releng_, avoid running (your)self explcitly + # require ^releng_, avoid running (your)self explicitly for s in `ls | grep ^releng_ | grep -v ${SELF} | sort -n`; do if [ -x ${s} -a ! -d ${s} ]; then # tee(1) does trailing \n, which is unwanted in that case - printf "\n${SELF}: Running ./${s} ${PASSED_OPTIONS}..." + printf "\n${SELF}: Running ./${s} ${PASSED_OPTIONS}..." echo -e "\n${SELF}: Running ./${s} ${PASSED_OPTIONS}..." >> ${CLOG} + echo -e "~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~" >> ${CLOG} T1=`date '+%s'` set +e ./${s} ${PASSED_OPTIONS} &>> ${CLOG}