diff options
Diffstat (limited to 'graphics/art/files/patch-rtgui_main-cli.cc')
-rw-r--r-- | graphics/art/files/patch-rtgui_main-cli.cc | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/graphics/art/files/patch-rtgui_main-cli.cc b/graphics/art/files/patch-rtgui_main-cli.cc deleted file mode 100644 index 9352255b9360..000000000000 --- a/graphics/art/files/patch-rtgui_main-cli.cc +++ /dev/null @@ -1,13 +0,0 @@ -- workaround for https://bitbucket.org/agriggio/art/issues/227 caused by https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=261360 - ---- rtgui/main-cli.cc.orig 2022-01-20 17:13:45 UTC -+++ rtgui/main-cli.cc -@@ -121,6 +121,8 @@ std::pair<bool, bool> dontLoadCache(int argc, char **a - - int main (int argc, char **argv) - { -+ setenv("LIBOMP_NUM_HIDDEN_HELPER_THREADS", "0", 1); -+ - #ifdef WITH_MIMALLOC - mi_version(); - #endif |