diff options
| author | Loïc Hoguin <[email protected]> | 2018-12-04 15:26:03 +0100 |
|---|---|---|
| committer | Loïc Hoguin <[email protected]> | 2018-12-04 15:27:38 +0100 |
| commit | 671052aaa9e83ff959b5782387223f7439be41d4 (patch) | |
| tree | bac2b515aa928ed2b7f64e4aad491c7b5f2deee3 /plugins/dialyzer.mk | |
| parent | c63d7be6f71a97f02ba62f78fec55afe8754fd8a (diff) | |
| download | erlang.mk-671052aaa9e83ff959b5782387223f7439be41d4.tar.gz erlang.mk-671052aaa9e83ff959b5782387223f7439be41d4.tar.bz2 erlang.mk-671052aaa9e83ff959b5782387223f7439be41d4.zip | |
Delete $(ERLANG_MK_TMP) directory after 'make erlang-mk'
This allows refreshing tools at the same time Erlang.mk
gets updated.
Diffstat (limited to 'plugins/dialyzer.mk')
0 files changed, 0 insertions, 0 deletions