diff options
author | Jean-Sébastien Pédron <[email protected]> | 2016-12-14 10:35:12 +0100 |
---|---|---|
committer | Loïc Hoguin <[email protected]> | 2016-12-19 10:23:09 +0100 |
commit | af32c4f56709195e51a06f0f8586ae5c4d2c0f7f (patch) | |
tree | 650ae475c8d88f742cb7c6d8470f611962fc3e31 /plugins | |
parent | 25704cc22bc00639d622d9f39abdcab2bdcedabc (diff) | |
download | erlang.mk-af32c4f56709195e51a06f0f8586ae5c4d2c0f7f.tar.gz erlang.mk-af32c4f56709195e51a06f0f8586ae5c4d2c0f7f.tar.bz2 erlang.mk-af32c4f56709195e51a06f0f8586ae5c4d2c0f7f.zip |
plugins/escript.mk: Remove $(ESCRIPT_FILE) in distclean-escript
... not $(ESCRIPT_NAME), which can be set to another value.
While here, add a testcase for `make distclean`.
Diffstat (limited to 'plugins')
-rw-r--r-- | plugins/escript.mk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/plugins/escript.mk b/plugins/escript.mk index 6d70006..706505e 100644 --- a/plugins/escript.mk +++ b/plugins/escript.mk @@ -45,4 +45,4 @@ escript:: escript-zip $(verbose) chmod +x $(ESCRIPT_FILE) distclean-escript: - $(gen_verbose) rm -f $(ESCRIPT_NAME) + $(gen_verbose) rm -f $(ESCRIPT_FILE) |