diff options
Diffstat (limited to 'plugins/escript.mk')
| -rw-r--r-- | plugins/escript.mk | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/plugins/escript.mk b/plugins/escript.mk index 487e2a4..3719684 100644 --- a/plugins/escript.mk +++ b/plugins/escript.mk @@ -27,6 +27,7 @@ help:: # Plugin-specific targets. +escript-zip:: FULL=1 escript-zip:: deps app $(verbose) mkdir -p $(dir $(ESCRIPT_ZIP)) $(verbose) rm -f $(ESCRIPT_ZIP_FILE) |