diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2023-02-16 18:02:13 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2023-02-18 07:45:54 +0100 |
| commit | 35f525a57cac12eaf2eca2be2e1aff793c9e9602 (patch) | |
| tree | 858644d025ca38f7bd4b7e0783a6d17093932902 /dashboard/config/linux/bits | |
| parent | d8336833514c8d2fd456ad000c2ab83450e2e78a (diff) | |
dashboard/config/linux: update ChromeOS 5.15 configs
Diffstat (limited to 'dashboard/config/linux/bits')
| -rw-r--r-- | dashboard/config/linux/bits/chromeos-5.15.yml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/dashboard/config/linux/bits/chromeos-5.15.yml b/dashboard/config/linux/bits/chromeos-5.15.yml index 73f3ed5ae..7f7a2893c 100644 --- a/dashboard/config/linux/bits/chromeos-5.15.yml +++ b/dashboard/config/linux/bits/chromeos-5.15.yml @@ -4,8 +4,8 @@ kernel: repo: https://chromium.googlesource.com/chromiumos/third_party/kernel # HEAD of chromeos-5.15 branch. - tag: 2ee474844f9c81d30317b9ad7f26009556414504 + tag: 7e17ed0aa6753ba346037b6aa68c7b2b8d2c4744 shell: - - chromeos/scripts/prepareconfig chromiumos-x86_64 ${BUILDDIR}/.config + - CHROMEOS_KERNEL_FAMILY=chromeos chromeos/scripts/prepareconfig chromiumos-x86_64 ${BUILDDIR}/.config - make olddefconfig |