diff options
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) |