diff options
| author | Alexander Potapenko <glider@google.com> | 2022-06-13 16:15:57 +0200 |
|---|---|---|
| committer | Alexander Potapenko <ramosian.glider@gmail.com> | 2022-06-14 12:32:24 +0200 |
| commit | 127d1fafc7d808f8bfcbb50170aa1f00b0209dad (patch) | |
| tree | 2783fc25ebc63990caa4af27b96cbe859e003979 /dashboard/config/linux/upstream-kmsan-base.config | |
| parent | f6ad0dfbec67e9c32ab952f80ef9141df653cd56 (diff) | |
dashboard/config/linux: enforce DWARF4 for KMSAN
Newer toolchaings generate DWARF5 by default, which might be problematic
for binutils on syzbot. Use DWARF4 instead.
Diffstat (limited to 'dashboard/config/linux/upstream-kmsan-base.config')
| -rw-r--r-- | dashboard/config/linux/upstream-kmsan-base.config | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/dashboard/config/linux/upstream-kmsan-base.config b/dashboard/config/linux/upstream-kmsan-base.config index c285dd5e4..b563dbf35 100644 --- a/dashboard/config/linux/upstream-kmsan-base.config +++ b/dashboard/config/linux/upstream-kmsan-base.config @@ -4903,8 +4903,8 @@ CONFIG_DEBUG_MISC=y # CONFIG_DEBUG_INFO=y # CONFIG_DEBUG_INFO_NONE is not set -CONFIG_DEBUG_INFO_DWARF_TOOLCHAIN_DEFAULT=y -# CONFIG_DEBUG_INFO_DWARF4 is not set +# CONFIG_DEBUG_INFO_DWARF_TOOLCHAIN_DEFAULT is not set +CONFIG_DEBUG_INFO_DWARF4=y # CONFIG_DEBUG_INFO_DWARF5 is not set # CONFIG_DEBUG_INFO_REDUCED is not set # CONFIG_DEBUG_INFO_COMPRESSED is not set |