Tomas Zeman 865d5f59b4 Fix 'defined but not used' warning
The warning occurred when !CATCH_CONFIG_WINDOWS_SEH
&& !CATCH_CONFIG_POSIX_SIGNALS.
2018-03-01 13:37:23 +01:00
..
2018-02-09 16:50:19 +01:00
2018-02-05 10:03:51 +01:00
2018-02-09 17:10:27 +01:00