diff options
| author | Björn Gustavsson <[email protected]> | 2015-10-13 10:10:25 +0200 |
|---|---|---|
| committer | Björn Gustavsson <[email protected]> | 2015-12-16 15:52:26 +0100 |
| commit | 4551a14515a57b9aabaa95b729ac546c91ff71f4 (patch) | |
| tree | e59d80d41b4b3f777c29285d41ac49084fd83d32 /.gitignore | |
| parent | af888f46b08c354021724ca76029930d3baf2e2b (diff) | |
| download | otp-4551a14515a57b9aabaa95b729ac546c91ff71f4.tar.gz otp-4551a14515a57b9aabaa95b729ac546c91ff71f4.tar.bz2 otp-4551a14515a57b9aabaa95b729ac546c91ff71f4.zip | |
Clean up handling of boot_vars
Expansion of $ROOT in paths are handled specially compared to boot
variables. There is no reason $ROOT can't be handled as a boot
variable.
We can simplify the expansion of boot variables if we spend a little
extra effort upfront collecting all boot variables into a map.
Make the error checking for -boot_var arguments stricter. Only allow
-boot_var followed by exactly two arguments to help users catch
errors earlier.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions