diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2023-02-17 09:58:24 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2023-02-18 07:45:54 +0100 |
| commit | bcdf85f8bd3fccff5bc9507a589c4847d9b35405 (patch) | |
| tree | 95140b9354310b694557903abc81aaaf9f67c44e /dashboard/config/linux/chromeos-5.15.config | |
| parent | 35f525a57cac12eaf2eca2be2e1aff793c9e9602 (diff) | |
dashboard/config/linux: enable DWARF4 for all
Diffstat (limited to 'dashboard/config/linux/chromeos-5.15.config')
| -rw-r--r-- | dashboard/config/linux/chromeos-5.15.config | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/dashboard/config/linux/chromeos-5.15.config b/dashboard/config/linux/chromeos-5.15.config index 786d423b5..f4b061401 100644 --- a/dashboard/config/linux/chromeos-5.15.config +++ b/dashboard/config/linux/chromeos-5.15.config @@ -7312,8 +7312,8 @@ CONFIG_DEBUG_INFO=y # CONFIG_DEBUG_INFO_COMPRESSED is not set # CONFIG_DEBUG_INFO_SPLIT is not set # CONFIG_DEBUG_INFO_DWARF_TOOLCHAIN_DEFAULT is not set -# CONFIG_DEBUG_INFO_DWARF4 is not set -CONFIG_DEBUG_INFO_DWARF5=y +CONFIG_DEBUG_INFO_DWARF4=y +# CONFIG_DEBUG_INFO_DWARF5 is not set # CONFIG_DEBUG_INFO_BTF is not set # CONFIG_GDB_SCRIPTS is not set CONFIG_FRAME_WARN=2048 |