#!/bin/sh
# $Id: cfg-tin,v 1.14 2011/11/11 17:35:39 tom Exp $
# Remove the files created by this script before running it.
rm -f config.cache config.status config.log
rm -f makefile src/Makefile include/autoconf.h

./conf-tin "$@"
mv td-conf.out configure.out
