For Debian Bug#153697:

* lib/am/dejagnu.am (distclean-DEJAGNU): Remove $tool.sum and
$tool.log.
Suggested by Andrew Suffield.

diff --git a/ChangeLog b/ChangeLog
index dbb3d8abc26c388dbf416653208d16bf78f7f06b..2cd152449c3b0fbed4592f75e69b3cc7eda4416f 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,10 @@
+2002-10-11  Alexandre Duret-Lutz  <adl@gnu.org>
+
+       For Debian Bug#153697:
+       * lib/am/dejagnu.am (distclean-DEJAGNU): Remove $tool.sum and
+       $tool.log.
+       Suggested by Andrew Suffield.
+
 2002-10-10  Alexandre Duret-Lutz  <adl@gnu.org>
 
        For PR automake/369:

diff --git a/lib/am/dejagnu.am b/lib/am/dejagnu.am
index 7f8c378c655e048a1f2367ad5cbd07a177499fad..df69d02d600e83b4cac8634b74c10cca3c4a6652 100644 (file)
--- a/lib/am/dejagnu.am
+++ b/lib/am/dejagnu.am
@@ -107,3 +107,6 @@ distclean-DEJAGNU:
 ## itself.  We can't predict what dejagnu or the test suite might
 ## generate.
        -rm -f site.exp site.bak
+       -l='$(DEJATOOL)'; for tool in $$l; do \
+         rm -f $$tool.sum $$tool.log; \
+       done