diff options
| author | Loïc Hoguin <[email protected]> | 2018-05-14 14:33:48 +0200 |
|---|---|---|
| committer | Loïc Hoguin <[email protected]> | 2018-05-14 14:33:48 +0200 |
| commit | 0e51f89ea7705a85e7fcce427a3f786f7f3d537f (patch) | |
| tree | 8f92ff0d1528b654385479a5c0f976a9f5455452 /doc | |
| parent | e0f8b46b0d5a78a10783d0b3a02ce15f3dafbd99 (diff) | |
| download | erlang.mk-0e51f89ea7705a85e7fcce427a3f786f7f3d537f.tar.gz erlang.mk-0e51f89ea7705a85e7fcce427a3f786f7f3d537f.tar.bz2 erlang.mk-0e51f89ea7705a85e7fcce427a3f786f7f3d537f.zip | |
Add undocumented option DIALYZER_PLT_OPTS
To be used as a workaround to enable --no_native when
there are issues with distro packages.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions