diff options
author | RĂ©mi Verschelde <remi@verschelde.fr> | 2022-08-22 10:07:21 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-08-22 10:07:21 +0200 |
commit | 8a1e5980116355024cd7a7ce0c15db7d4ecb200a (patch) | |
tree | fc40366fb5ad00f6b01e0b796ef85495433bd26f /main | |
parent | 847183093d2948601cdd82f50a333bdee2d6eef0 (diff) | |
parent | 9c34a02191bc6c560cc2a1bceea943f9bd8aebfa (diff) |
Merge pull request #64089 from neikeq/dotnet6
Diffstat (limited to 'main')
-rw-r--r-- | main/main.cpp | 12 |
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); |