comparison TOOLS/Makefile @ 19293:67a441044abe

'make distclean' should remove all generated files, so also config.[h|mak].
author diego
date Thu, 03 Aug 2006 17:34:54 +0000
parents 64d82a45a05d
children b4c865e17155
comparison
equal deleted inserted replaced
19292:20938447bb55 19293:67a441044abe