Cleanup includes in sources

Mainly just removes some unused includes, but sometimes the include
is replaced by a smaller header instead.
This commit is contained in:
Martin Hořeňovský 2023-12-21 18:42:40 +01:00
parent 64ade68ca2
commit 9aadc3a53d
No known key found for this signature in database
GPG key ID: DE48307B8B0D381A
15 changed files with 9 additions and 29 deletions

View file

@ -9,6 +9,7 @@
#include <catch2/catch_config.hpp>
#include <catch2/internal/catch_string_manip.hpp>
#include <catch2/interfaces/catch_interfaces_config.hpp>
#include <catch2/interfaces/catch_interfaces_registry_hub.hpp>
#include <catch2/internal/catch_reporter_registry.hpp>
#include <catch2/internal/catch_console_colour.hpp>
@ -300,8 +301,8 @@ namespace Catch {
( "split the tests to execute into this many groups" )
| Opt( setShardIndex, "shard index" )
["--shard-index"]
( "index of the group of tests to execute (see --shard-count)" ) |
Opt( config.allowZeroTests )
( "index of the group of tests to execute (see --shard-count)" )
| Opt( config.allowZeroTests )
["--allow-running-no-tests"]
( "Treat 'No tests run' as a success" )
| Arg( config.testsOrTags, "test name|pattern|tags" )