 Jean-Sébastien Pédron
|
af32c4f567
plugins/escript.mk: Remove $(ESCRIPT_FILE) in distclean-escript
|
8 years ago |
|
Loïc Hoguin
|
01efaa6764
Greatly improve the escript support
|
8 years ago |
|
Loïc Hoguin
|
f2be0f9f04
Update Copyright notices
|
8 years ago |
|
Zaiming Shi
|
2cb6360547
escript file maybe different from escript name
|
9 years ago |
|
Loïc Hoguin
|
0eb54a7160
Add $(verbose) to avoid completely silencing commands
|
9 years ago |
|
Loïc Hoguin
|
abb11f81f5
Speed up "erl" invocations
|
10 years ago |
|
Dave Cottlehuber
|
c19b594849
add escript plugin
|
10 years ago |
