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/upstream-usb.config | |
| parent | 35f525a57cac12eaf2eca2be2e1aff793c9e9602 (diff) | |
dashboard/config/linux: enable DWARF4 for all
Diffstat (limited to 'dashboard/config/linux/upstream-usb.config')
| -rw-r--r-- | dashboard/config/linux/upstream-usb.config | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/dashboard/config/linux/upstream-usb.config b/dashboard/config/linux/upstream-usb.config index 4c19a6e88..1d4589ee5 100644 --- a/dashboard/config/linux/upstream-usb.config +++ b/dashboard/config/linux/upstream-usb.config @@ -7756,8 +7756,8 @@ CONFIG_DEBUG_MISC=y CONFIG_DEBUG_INFO=y CONFIG_AS_HAS_NON_CONST_LEB128=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_NONE=y |