summaryrefslogtreecommitdiff
path: root/tools/travis-ci.sh
diff options
context:
space:
mode:
authorPeter Powell <petpow@saberuk.com>2017-02-05 19:05:27 +0000
committerPeter Powell <petpow@saberuk.com>2017-02-28 05:19:12 +0000
commit7c301149883e038a4bf3ce4a7a9a6a91b3e1ce97 (patch)
tree5e698c3b99e9c3addf516a2dcd7b3b2686fc15cb /tools/travis-ci.sh
parent51ff3d67ed1b6f1594373d3745293ef155a26f44 (diff)
Allow <log> tags to specify how often logs should be flushed.
Also use the behaviour behind this to fix #1290.
Diffstat (limited to 'tools/travis-ci.sh')
0 files changed, 0 insertions, 0 deletions