summaryrefslogtreecommitdiff
path: root/main
diff options
context:
space:
mode:
authorRĂ©mi Verschelde <remi@verschelde.fr>2022-08-22 10:07:21 +0200
committerGitHub <noreply@github.com>2022-08-22 10:07:21 +0200
commit8a1e5980116355024cd7a7ce0c15db7d4ecb200a (patch)
treefc40366fb5ad00f6b01e0b796ef85495433bd26f /main
parent847183093d2948601cdd82f50a333bdee2d6eef0 (diff)
parent9c34a02191bc6c560cc2a1bceea943f9bd8aebfa (diff)
Merge pull request #64089 from neikeq/dotnet6
Diffstat (limited to 'main')
-rw-r--r--main/main.cpp12
1 files changed, 0 insertions, 12 deletions
diff --git a/main/main.cpp b/main/main.cpp
index 6559b69f2e..740e3cc69d 100644
--- a/main/main.cpp
+++ b/main/main.cpp
@@ -2255,18 +2255,6 @@ bool Main::start() {
ERR_FAIL_COND_V_MSG(da.is_null(), false, "Argument supplied to --doctool must be a valid directory path.");
}
-#ifndef MODULE_MONO_ENABLED
- // Hack to define Mono-specific project settings even on non-Mono builds,
- // so that we don't lose their descriptions and default values in DocData.
- // Default values should be synced with mono_gd/gd_mono.cpp.
- GLOBAL_DEF("mono/debugger_agent/port", 23685);
- GLOBAL_DEF("mono/debugger_agent/wait_for_debugger", false);
- GLOBAL_DEF("mono/debugger_agent/wait_timeout", 3000);
- GLOBAL_DEF("mono/profiler/args", "log:calls,alloc,sample,output=output.mlpd");
- GLOBAL_DEF("mono/profiler/enabled", false);
- GLOBAL_DEF("mono/runtime/unhandled_exception_policy", 0);
-#endif
-
Error err;
DocTools doc;
doc.generate(doc_base);