diff options
| -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 + |