diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2024-05-08 15:58:36 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2024-05-08 14:09:37 +0000 |
| commit | 18ce20b34413f355241bcb0135a5793b7e2d0240 (patch) | |
| tree | bfab931201c861e2185d5a3f5835b79622e12d46 /vendor/github.com | |
| parent | 0df1eb567cf9907957f671f67fa3f7a9152aeed7 (diff) | |
executor: fix embeding of headers
common_usb.h is included by both common_linux.h and common_netbsd.h.
The current version may fail to replace one of these common_usb.h,
if say common_linux.h is already replaced, but common_netbsd.h is not yet.
Make the replacement algorithm more robust and just replace everything
on each iteration until we can't replace anything anymore.
Fixes #4783
Diffstat (limited to 'vendor/github.com')
0 files changed, 0 insertions, 0 deletions