diff options
| author | Zaiming Shi <[email protected]> | 2016-02-18 15:32:39 +0100 |
|---|---|---|
| committer | Loïc Hoguin <[email protected]> | 2016-03-19 12:18:40 +0100 |
| commit | 2cb63605478761b73484d77f5ce18a9c1469266b (patch) | |
| tree | ee5d048875cd80558e254ec0b23b8128a681ecc1 /plugins/escript.mk | |
| parent | d52bf8576c3b38e5219b361ee58c960a30225c4b (diff) | |
| download | erlang.mk-2cb63605478761b73484d77f5ce18a9c1469266b.tar.gz erlang.mk-2cb63605478761b73484d77f5ce18a9c1469266b.tar.bz2 erlang.mk-2cb63605478761b73484d77f5ce18a9c1469266b.zip | |
escript file maybe different from escript name
Diffstat (limited to 'plugins/escript.mk')
| -rw-r--r-- | plugins/escript.mk | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/plugins/escript.mk b/plugins/escript.mk index 42133eb..16f8ba6 100644 --- a/plugins/escript.mk +++ b/plugins/escript.mk @@ -6,6 +6,8 @@ # Configuration. ESCRIPT_NAME ?= $(PROJECT) +ESCRIPT_FILE ?= $(ESCRIPT_NAME) + ESCRIPT_COMMENT ?= This is an -*- erlang -*- file ESCRIPT_BEAMS ?= "ebin/*", "deps/*/ebin/*" @@ -51,7 +53,7 @@ define ESCRIPT_RAW ' ]),'\ ' file:change_mode(Escript, 8#755)'\ 'end,'\ -'Ez("$(ESCRIPT_NAME)"),'\ +'Ez("$(ESCRIPT_FILE)"),'\ 'halt().' endef |