diff options
| author | Boris Kolpackov <boris@codesynthesis.com> | 2022-12-05 09:52:21 +0200 |
|---|---|---|
| committer | Boris Kolpackov <boris@codesynthesis.com> | 2022-12-05 09:52:21 +0200 |
| commit | fe237a2a792a2e2ac7879d0767b9168e5682c98e (patch) | |
| tree | 264322d3c958f8ff5922e055aa9b1d955d0ab203 /.gitignore | |
| parent | 649d388ff422a9a049e2b50768db357a73ee59d5 (diff) | |
Filter out sanitizer options from ~host configuration
We run the toolchain with various sanitizers on CI but sanitizers cause
issues in some packages.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions