diff options
| author | Loïc Hoguin <[email protected]> | 2018-12-10 13:52:59 +0100 |
|---|---|---|
| committer | Loïc Hoguin <[email protected]> | 2018-12-10 13:52:59 +0100 |
| commit | a11c6fb7f9ee084fe87bdcba32529358d9fab64e (patch) | |
| tree | 80c309fc48978fe3293a01e49dd7a7bda958ee0f /core/core.mk | |
| parent | 7799804277e6fd38d308ebd581d194c38cd3fbb4 (diff) | |
| download | erlang.mk-a11c6fb7f9ee084fe87bdcba32529358d9fab64e.tar.gz erlang.mk-a11c6fb7f9ee084fe87bdcba32529358d9fab64e.tar.bz2 erlang.mk-a11c6fb7f9ee084fe87bdcba32529358d9fab64e.zip | |
Optimization: reduce the number of shell commands on noops
Diffstat (limited to 'core/core.mk')
| -rw-r--r-- | core/core.mk | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/core/core.mk b/core/core.mk index 661527e..411f146 100644 --- a/core/core.mk +++ b/core/core.mk @@ -115,6 +115,9 @@ endif distclean:: clean distclean-tmp +$(ERLANG_MK_TMP): + $(verbose) mkdir -p $(ERLANG_MK_TMP) + distclean-tmp: $(gen_verbose) rm -rf $(ERLANG_MK_TMP) |