diff options
| author | Gompa <gompa@h-bomb.nl> | 2019-07-16 13:44:48 +0200 |
|---|---|---|
| committer | Patrick Georgi <pgeorgi@google.com> | 2019-07-19 09:34:03 +0000 |
| commit | 73c405ae309719315f75d6b51895e8066287c369 (patch) | |
| tree | 3cbbd5c31d66e1e2f246d4f47618e5c643fc76cf /util/lint/kconfig_lint | |
| parent | f208f4a12307bb91c0794eb81ee640caa828125b (diff) | |
payloads/GRUB: Use correct script name in Makefile
Fixes: 3555389a8c (payloads: Update GRUB stable from 2.02 to 2.04)
Change-Id: I2f95059453ca5565a38550b147590ece4d8bf5ad
Signed-off-by: Gompa <gompa@h-bomb.nl>
Signed-off-by: Paul Menzel <pmenzel@molgen.mpg.de>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/34366
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Patrick Georgi <pgeorgi@google.com>
Diffstat (limited to 'util/lint/kconfig_lint')
0 files changed, 0 insertions, 0 deletions