diff options
Diffstat (limited to 'lib/am/dejagnu.am')
| -rw-r--r-- | lib/am/dejagnu.am | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/lib/am/dejagnu.am b/lib/am/dejagnu.am index cb5e8a344..42ba485c0 100644 --- a/lib/am/dejagnu.am +++ b/lib/am/dejagnu.am @@ -86,6 +86,6 @@ site.exp: Makefile $(EXTRA_DEJAGNU_SITE_CONFIG) ## FIXME: we clean these on "make distclean" only for better compatibility ## FIXME: with mainline Automake, but wouldn't be more correct to clean ## FIXME: them on "make clean" instead? -am__distclean_files += site.exp site.bak -am__distclean_files += $(addsuffix .sum,$(DEJATOOL)) -am__distclean_files += $(addsuffix .log,$(DEJATOOL)) +am.clean.dist.f += site.exp site.bak +am.clean.dist.f += $(addsuffix .sum,$(DEJATOOL)) +am.clean.dist.f += $(addsuffix .log,$(DEJATOOL)) |