diff options
author | Bojidar Marinov <bojidar.marinov.bg@gmail.com> | 2019-06-28 15:34:09 +0300 |
---|---|---|
committer | Bojidar Marinov <bojidar.marinov.bg@gmail.com> | 2019-06-28 15:34:09 +0300 |
commit | 9ebc146383e562cab8ac15ec5b97d7689bebe1a7 (patch) | |
tree | 29e0f322814195d40d412bac106c965004b5fe69 | |
parent | 2df8b5606b9de9d11873c27f0a297127bbbfc255 (diff) |
Ensure --export implies --editor
Fixes #30149
-rw-r--r-- | main/main.cpp | 18 |
1 files changed, 6 insertions, 12 deletions
diff --git a/main/main.cpp b/main/main.cpp index 9183dab58c..c10f6e384c 100644 --- a/main/main.cpp +++ b/main/main.cpp @@ -599,6 +599,10 @@ Error Main::setup(const char *execpath, int argc, char *argv[], bool p_second_ph auto_build_solutions = true; editor = true; + } else if (I->get() == "--export" || I->get() == "--export-debug") { // Export project + + editor = true; + main_args.push_back(I->get()); #endif } else if (I->get() == "--path") { // set path of project to start or edit @@ -1343,20 +1347,10 @@ bool Main::start() { removal_docs.push_back(args[j]); } else if (args[i] == "--export") { editor = true; //needs editor - if (i + 1 < args.size()) { - _export_preset = args[i + 1]; - } else { - ERR_PRINT("Export preset name not specified"); - return false; - } + _export_preset = args[i + 1]; } else if (args[i] == "--export-debug") { editor = true; //needs editor - if (i + 1 < args.size()) { - _export_preset = args[i + 1]; - } else { - ERR_PRINT("Export preset name not specified"); - return false; - } + _export_preset = args[i + 1]; export_debug = true; #endif } else { |