mirror of
https://github.com/catchorg/Catch2.git
synced 2026-01-30 18:22:24 +01:00
This is the recommended way of adding new Opts in our documentation for using custom main, but we did not compile the code to see if it works. We now compile the example as part of the BUILD_EXAMPLES option. Fixes #2787
1.3 KiB
1.3 KiB