For Debian Bug#153697: * lib/am/dejagnu.am (distclean-DEJAGNU): Remove $tool.sum and $tool.log. Suggested by Andrew Suffield.
2002-10-11T19:05:31