diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2017-01-12 00:00:40 +0000 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2017-01-12 00:31:20 +0000 |
commit | 8463d12b7a99e449198b06341a96fb3504074040 (patch) | |
tree | cfad99e8e9ac44521b03dd6d7a08ab321753f83f /infra | |
parent | fcb31fe3655f197956bb61f89c54638db4c14265 (diff) |
infra: mirroring and policy hooks: Provide ((( ))) banners
When we invoke these, this makes their output easier to find in the
middle of the test suite debug scrool.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Diffstat (limited to 'infra')
0 files changed, 0 insertions, 0 deletions