diff options
| author | Martin Hořeňovský | 2021-04-05 15:17:28 +0200 |
|---|---|---|
| committer | Martin Hořeňovský | 2021-04-05 18:04:31 +0200 |
| commit | cec35630fb08ce9631a92e7a06c9b655a850caa8 (patch) | |
| tree | 190f49d23814a133ba517ace5a20637c440437d0 /scripts/developBuild.py | |
| parent | b8b03da534ef6245c90698eff3123576b93162b9 (diff) | |
| download | catch3-cec35630fb08ce9631a92e7a06c9b655a850caa8.tar.gz | |
Don't build Catch2WithMain target by default for v2
The `Catch2WithMain` target was added experimentally for v2.13.4
to provide potentially better compilation (and link) times to users.
However, having it compiled by default causes worse experience for
people who do not use it, and for the v2 versions the single include
distribution is still the main one.
Closes #2142
Diffstat (limited to 'scripts/developBuild.py')
0 files changed, 0 insertions, 0 deletions