diff options
| author | christos <christos@NetBSD.org> | 2018-06-02 01:41:49 +0000 |
|---|---|---|
| committer | christos <christos@NetBSD.org> | 2018-06-02 01:41:49 +0000 |
| commit | f0705e0d530672e906ea14d6634554cadccdd255 (patch) | |
| tree | de3f0847edde14b324a78e295abbd04c715b23fe /sys/dev/microcode/tools | |
| parent | 05571dfc5e0b44345da97abab68958f31d53f2f0 (diff) | |
Add build glue to build all the code with sanitizers: MKSANITIZE.
Diffstat (limited to 'sys/dev/microcode/tools')
0 files changed, 0 insertions, 0 deletions
