diff options
Diffstat (limited to 'core')
-rw-r--r-- | core/core.mk | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/core/core.mk b/core/core.mk index a41a240..08294d0 100644 --- a/core/core.mk +++ b/core/core.mk @@ -92,7 +92,10 @@ ifneq ($(wildcard erl_crash.dump),) $(gen_verbose) rm -f erl_crash.dump endif -distclean:: clean +distclean:: clean distclean-tmp + +distclean-tmp: + $(gen_verbose) rm -rf $(ERLANG_MK_TMP) help:: $(verbose) printf "%s\n" \ |