diff options
| author | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2022-02-17 22:35:37 +0100 |
|---|---|---|
| committer | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2022-02-17 22:35:37 +0100 |
| commit | 76bf7f169d5f1e18ffdf577f6fb7be1203d0bc55 (patch) | |
| tree | 696f92fe9737930b0d174af92177ad683349e062 /main | |
| parent | 5b18a81be9736ad7f9824ea615dbe460a741b76c (diff) | |
Make `--doctool` imply `--headless` to speed up class reference generation
This also prevents spawning an unnecessary splash screen window
while the class reference is generated.
Diffstat (limited to 'main')
| -rw-r--r-- | main/main.cpp | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/main/main.cpp b/main/main.cpp index 21199fe227..863ffba809 100644 --- a/main/main.cpp +++ b/main/main.cpp @@ -974,6 +974,11 @@ Error Main::setup(const char *execpath, int argc, char *argv[], bool p_second_ph } else if (I->get() == "--doctool") { // Actually handling is done in start(). cmdline_tool = true; + + // `--doctool` implies `--headless` to avoid spawning an unnecessary window + // and speed up class reference generation. + audio_driver = "Dummy"; + display_driver = "headless"; main_args.push_back(I->get()); #endif } else if (I->get() == "--path") { // set path of project to start or edit |