#!/bin/sh
# $Id: clean-tin,v 1.1 2009/12/31 18:41:14 tom Exp $
test -f conf-tin  || exit 1
test -f Makefile && make distclean
rm -f *.out
rm -rf bin BUILD
exit 0
