diff options
author | Ondrej Filip <feela@network.cz> | 2004-05-31 15:13:56 +0000 |
---|---|---|
committer | Ondrej Filip <feela@network.cz> | 2004-05-31 15:13:56 +0000 |
commit | 73219ecfecbf2851e1a3b6c4a1084b2eaa6d159c (patch) | |
tree | 1c1ab4ecae924ab5e68b80ff8ef03d1c503f6aad | |
parent | 6de62923120c1dba8461aed8aed95eff433fcf4a (diff) |
Delete autom4te.cache in 'make distclean'.
-rw-r--r-- | tools/Makefile-top.in | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/tools/Makefile-top.in b/tools/Makefile-top.in index fe282808..cf59f7a1 100644 --- a/tools/Makefile-top.in +++ b/tools/Makefile-top.in @@ -15,5 +15,6 @@ clean: distclean: clean $(MAKE) -C doc distclean - rm -rf $(objdir) + rm -rf $(objdir) autom4te.cache rm -f config.* configure sysdep/autoconf.h sysdep/paths.h Makefile + |