Source: catch
Followup-For: Bug #993515
Actually upsteam catch (catch2) had some criticisms of the PR#2317
patch that I referenced.
Among other things it should still use SIGSTKSZ not MINSIGSTKSZ.
The actual patch to catch2 was commit c0d0a50bd
https://github.com/catchorg/Catch2/commit/c0d0a50bdb2ae2f749443c0386c2b25379bdbf76
I adapted my dolfin patch to align with commit c0d0a50bd to use SIGSTKSZ
not MINSIGSTKSZ (and use 32 * 1024 as the backup default value).
I'm attaching the updated dolfin patch here for reference.