summaryrefslogtreecommitdiff
path: root/main
diff options
context:
space:
mode:
authorRĂ©mi Verschelde <remi@verschelde.fr>2022-05-06 19:32:09 +0200
committerGitHub <noreply@github.com>2022-05-06 19:32:09 +0200
commitbb73dafe377471abcd6661a54e8bf0a2091ac4f2 (patch)
tree6002f26ee2850448c085a86e4da39a2f855b7b05 /main
parent6eee2f1df8d2771b28aec82f0b18eba57067c29c (diff)
parent76bf7f169d5f1e18ffdf577f6fb7be1203d0bc55 (diff)
Merge pull request #58258 from Calinou/editor-doctool-auto-headless
Make `--doctool` imply `--headless` to speed up class reference generation
Diffstat (limited to 'main')
-rw-r--r--main/main.cpp5
1 files changed, 5 insertions, 0 deletions
diff --git a/main/main.cpp b/main/main.cpp
index 5ddce818ca..75c4433b41 100644
--- a/main/main.cpp
+++ b/main/main.cpp
@@ -998,6 +998,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