diff options
-rw-r--r-- | Makefile.in | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Makefile.in b/Makefile.in index 07df38b..992407a 100644 --- a/Makefile.in +++ b/Makefile.in @@ -254,6 +254,8 @@ version.tag: $(GIT_REFERENCE_INDEX) dirs.tag touch version.tag distclean: clean + rm -f ccenv/host.mk + rm -f ccenv/native.mk rm -f cfgdefs.mk rm -f usrdefs.mk rm -f Makefile |