diff options
Diffstat (limited to 'tools/Makefile-top.in')
| -rw-r--r-- | tools/Makefile-top.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/Makefile-top.in b/tools/Makefile-top.in index 9e5049ef..855c2749 100644 --- a/tools/Makefile-top.in +++ b/tools/Makefile-top.in @@ -12,4 +12,4 @@ clean: distclean: clean rm -rf $(objdir) - rm -f config.* configure sysdep/autoconf.h Makefile + rm -f config.* configure sysdep/autoconf.h sysdep/paths.h Makefile |