diff options
| author | Jean-Sébastien Pédron <[email protected]> | 2016-08-29 15:28:44 +0200 |
|---|---|---|
| committer | Jean-Sébastien Pédron <[email protected]> | 2016-09-08 13:46:15 +0200 |
| commit | 6c546accfcb2ad6264c16f62e74d35367dabb72c (patch) | |
| tree | f0c332430ef385489946bde4107fed92e953e6d1 /index/errd.mk | |
| parent | 8a20b423784a7ccf223dbabe4d78daa675823664 (diff) | |
| download | erlang.mk-6c546accfcb2ad6264c16f62e74d35367dabb72c.tar.gz erlang.mk-6c546accfcb2ad6264c16f62e74d35367dabb72c.tar.bz2 erlang.mk-6c546accfcb2ad6264c16f62e74d35367dabb72c.zip | |
dialyzer.mk: Use the shell to parse command line args
Splitting arguments on `-` was dangerous: if a path contained such a
character, it would be split and the second half thrown away by the
filtering.
Now, `$(ERLC_OPTS)` is passed to erl(1) after `-extra`. Thus
arguments parsing is done by the shell and we only have to call
init:get_plain_arguments/0 to get them as a list.
Diffstat (limited to 'index/errd.mk')
0 files changed, 0 insertions, 0 deletions