diff options
Diffstat (limited to 'lib/am/dejagnu.am')
| -rw-r--r-- | lib/am/dejagnu.am | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/lib/am/dejagnu.am b/lib/am/dejagnu.am index 9428f51e8..fa1cdf07e 100644 --- a/lib/am/dejagnu.am +++ b/lib/am/dejagnu.am @@ -94,3 +94,15 @@ site.exp: Makefile @-rm -f site.bak @test ! -f site.exp || mv site.exp site.bak @mv site.tmp site.exp + +## ---------- ## +## Cleaning. ## +## ---------- ## + +.PHONY distclean-am: distclean-DEJAGNU + +distclean-DEJAGNU: +## Any other cleaning must be done by the user or by the test suite +## itself. We can't predict what dejagnu or the test suite might +## generate. + -rm -f site.exp site.bak |