chiark / gitweb /
~ianmdlvl / otter.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1bc3812) | patch
wdt-simple: Use initial_vpid_by_desc_glob
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 12 Jun 2022 20:40:31 +0000 (21:40 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 12 Jun 2022 20:42:32 +0000 (21:42 +0100)
commit72315033d7813c9b0592b88a201a2fdc78f7e3fe
tree4cafb8890ed6b7427eba15ba8433c0e79695c339tree | snapshot
parent1bc38125866b98f0c1720aef98ef94fd69a2e6dccommit | diff
wdt-simple: Use initial_vpid_by_desc_glob

Found with
    git-grep -P '\d+v\d+' wdriver/wdt-simple.rs

This is still not great; ideally we would do something more like the
newer tests, with downloading the piece list.  But this will do.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
wdriver/wdt-simple.rs diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.