1# $Id: tetclean.cfg 2085 2011-10-27 05:06:47Z jkoshy $
2
3TET_OUTPUT_CAPTURE=True
4TET_CLEAN_TOOL=make
5TET_CLEAN_FILE=clean
6TET_PASS_TC_NAME=False
7