diff options
| author | Martin Hořeňovský | 2018-08-31 11:40:55 +0200 |
|---|---|---|
| committer | Martin Hořeňovský | 2018-08-31 11:43:09 +0200 |
| commit | 0646e0283c09d7b989a8520d8d52cda463ed5e8a (patch) | |
| tree | 1a9b99f49a2d2e5065a49a502d7052c814ea091a /scripts/developBuild.py | |
| parent | 90663b2e755b6c6058f78fd3878e6afb39ee4d49 (diff) | |
| download | catch3-0646e0283c09d7b989a8520d8d52cda463ed5e8a.tar.gz | |
Disable installation step when Catch is used as a subproject
This is because otherwise the installations paths provided via
GNUInstallDirs become messed up and parts of the installation
package will end up in the wrong place.
Also it doesn't make much sense to force dependees to also install
our header alongside them.
Closes #1373
Diffstat (limited to 'scripts/developBuild.py')
0 files changed, 0 insertions, 0 deletions