diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2024-06-03 16:03:49 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2024-06-04 09:50:32 +0000 |
| commit | 131643847bb0eb1748a4a9c8c38be76c2c28469c (patch) | |
| tree | 60a918c23595e026b3c2fdcfc77b04587f972eca /executor | |
| parent | da9e8155a4c58450c7d29339f10cea3dd75f15ae (diff) | |
sys/syz-sysgen: remove all files in the case set of arches has changed
If arched are renamed, old files will stay around and break builds.
Remove all existing generated files for writing new ones.
Diffstat (limited to 'executor')
0 files changed, 0 insertions, 0 deletions