#!/bin/sh # # trap "rm -f $DUMP $NAMES; exit" 0 2 3 DUMP="textdump" NAMES="src/object.index" if [ X$1 != X ]; then DUMP=$1 fi echo Dumping in $DUMP cat ${NAMES} > $DUMP for f in `cut -d' ' -f2 ${NAMES}`; do echo \$$f cat src/${f}.coldc >> ${DUMP} done