diff options
author | Christian Tismer <tismer@stackless.com> | 2020-07-16 11:19:33 +0200 |
---|---|---|
committer | Christian Tismer <tismer@stackless.com> | 2020-07-16 14:22:16 +0200 |
commit | 3ea38f5dd7c58e968f775e6c85af729ab34a7071 (patch) | |
tree | f2428c53521f0f307b4ccc96e28b152ba09ce35c /build_scripts | |
parent | e2fbf1ab26e1c763c556bd592dbf34a39ab84eaa (diff) |
Testing: Fix a quirk introduced by pruning
The newly introduced history pruning has a timing problem
on RHel 7.6. We disable pruning now when COIN is
active. This makes anyway only sense for multiple
builds on a developer machine but not in COIN.
Change-Id: Ic4b4f2e42303e343d222b98655300509f83c7288
Reviewed-by: Friedemann Kleint <Friedemann.Kleint@qt.io>
Reviewed-by: Cristian Maureira-Fredes <cristian.maureira-fredes@qt.io>
Diffstat (limited to 'build_scripts')
0 files changed, 0 insertions, 0 deletions