From 2b6bbf8dceb7e31039d23aab05cde447225e1f7c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?R=C3=A9mi=20Verschelde?= <rverschelde@gmail.com>
Date: Thu, 18 Jun 2020 12:05:44 +0200
Subject: Mono: Always define options in main.cpp to keep them in docs

Otherwise generating docs with non-Mono builds removes them,
which is not so convenient for the documentation work.
---
 main/main.cpp | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'main/main.cpp')

diff --git a/main/main.cpp b/main/main.cpp
index 92b07dc83b..747b12677d 100644
--- a/main/main.cpp
+++ b/main/main.cpp
@@ -1633,6 +1633,8 @@ bool Main::start() {
 		GLOBAL_DEF("mono/profiler/args", "log:calls,alloc,sample,output=output.mlpd");
 		GLOBAL_DEF("mono/profiler/enabled", false);
 		GLOBAL_DEF("mono/unhandled_exception_policy", 0);
+		// From editor/csharp_project.cpp.
+		GLOBAL_DEF("mono/project/auto_update_project", true);
 #endif
 
 		DocData doc;
-- 
cgit v1.2.3