#!/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