chiark / gitweb /
wdriver: Increase some debug re gen update
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Tue, 30 Mar 2021 23:03:18 +0000 (00:03 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Tue, 30 Mar 2021 23:03:54 +0000 (00:03 +0100)
commit6ca2f3109c3037d470e1832581a622010e0492e0
tree3af4f7100e7795e37157085f37f4d4148cc17692
parentaea1c8b1e6f448d2fe2325e65401764639a034a5
wdriver: Increase some debug re gen update

There seems to be some intermittent failure here.  Try to get more
info.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
wdriver/wdriver.rs