diff options
Diffstat (limited to 'x11-toolkits/gtk-sharp30/files/patch-gtk_gui-thread-check_profiler_gui-thread-check.c')
| -rw-r--r-- | x11-toolkits/gtk-sharp30/files/patch-gtk_gui-thread-check_profiler_gui-thread-check.c | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/x11-toolkits/gtk-sharp30/files/patch-gtk_gui-thread-check_profiler_gui-thread-check.c b/x11-toolkits/gtk-sharp30/files/patch-gtk_gui-thread-check_profiler_gui-thread-check.c new file mode 100644 index 000000000000..614f3e3247ea --- /dev/null +++ b/x11-toolkits/gtk-sharp30/files/patch-gtk_gui-thread-check_profiler_gui-thread-check.c @@ -0,0 +1,9 @@ +--- gtk/gui-thread-check/profiler/gui-thread-check.c.orig 2018-06-11 18:44:28 UTC ++++ gtk/gui-thread-check/profiler/gui-thread-check.c +@@ -93,6 +93,5 @@ mono_profiler_startup (const char *desc) + + mono_profiler_install (NULL, NULL); + mono_profiler_install_enter_leave (simple_method_enter, NULL); +- mono_profiler_set_events (MONO_PROFILE_ENTER_LEAVE); + } + |