diff options
author | Fabio Alessandrelli <fabio.alessandrelli@gmail.com> | 2020-11-17 18:02:41 +0100 |
---|---|---|
committer | Fabio Alessandrelli <fabio.alessandrelli@gmail.com> | 2020-11-17 18:26:03 +0100 |
commit | 032a1c5dc34b8ebb785b2d34148138d4d16b9059 (patch) | |
tree | e825b0e53a7fdee9b3a55736b608d48686d9174d /core/os/mutex.h | |
parent | c56a071d0c6e282dbb82aa7e69691e33f6c2fd7e (diff) |
Fix CLI export when export_path is in preset.
Export presets contains the export_path option, to specify the default
export location, but the CLI export option disregarded that, and always
required and export path to be specified.
After this commit, if the export path is not specified in the command,
the one in the preset will be used, erroring only if it's not present or
invalid.
Diffstat (limited to 'core/os/mutex.h')
0 files changed, 0 insertions, 0 deletions