From af32c4f56709195e51a06f0f8586ae5c4d2c0f7f Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jean-S=C3=A9bastien=20P=C3=A9dron?= Date: Wed, 14 Dec 2016 10:35:12 +0100 Subject: 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`. --- plugins/escript.mk | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'plugins') 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) -- cgit v1.2.3