3rd-party/catch2
1
0
Fork 0
mirror of https://github.com/catchorg/Catch2.git synced 2024-11-22 13:26:10 +01:00
Code Issues Packages Projects Releases Wiki Activity

Fix cli help tooltip for --use-colour

Browse Source
This commit is contained in:
Martin Hořeňovský 2022-03-06 14:45:30 +01:00
parent f206162b2d
commit 9b01c404f5
No known key found for this signature in database
GPG Key ID: DE48307B8B0D381A
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/catch2/internal/catch_commandline.cpp
View File

@ -298,7 +298,7 @@ namespace Catch {
| Opt( setRngSeed, "'time'|'random-device'|number" ) | Opt( setRngSeed, "'time'|'random-device'|number" )
["--rng-seed"] ["--rng-seed"]
( "set a specific seed for random numbers" ) ( "set a specific seed for random numbers" )
| Opt( setColourUsage, "yes|no" ) | Opt( setColourUsage, "yes|no|auto" )
["--use-colour"] ["--use-colour"]
( "should output be colourised" ) ( "should output be colourised" )
| Opt( config.libIdentify ) | Opt( config.libIdentify )