diff options
| author | Björn Gustavsson <[email protected]> | 2017-03-02 15:03:34 +0100 |
|---|---|---|
| committer | Björn Gustavsson <[email protected]> | 2017-03-02 15:33:44 +0100 |
| commit | 74e9234a87f6fac98900201a481696b31df2bdab (patch) | |
| tree | 8684209adb60df8097fab6d3aa8673f4c32267c3 /lib/.gitignore | |
| parent | 369ef2ee5586e5cad2f16f0b8f956be011ba1550 (diff) | |
| download | otp-74e9234a87f6fac98900201a481696b31df2bdab.tar.gz otp-74e9234a87f6fac98900201a481696b31df2bdab.tar.bz2 otp-74e9234a87f6fac98900201a481696b31df2bdab.zip | |
dialyzer, observer: Use portable lookup of home directory
Use init:get_argument(home) to find the location of the home
directory. That will work on all platforms (including Windows).
Note that the run-time system will fail to start if HOME
(or the equivalent on Windows) is not set. Therefore, it can
be assumed that init:get_argument(home) will not fail.
ERL-161
Diffstat (limited to 'lib/.gitignore')
0 files changed, 0 insertions, 0 deletions