diff options
| author | Nico Huber <nico.h@gmx.de> | 2019-01-05 00:06:19 +0100 |
|---|---|---|
| committer | Felix Held <felix-coreboot@felixheld.de> | 2019-01-06 23:54:41 +0000 |
| commit | 844eda0f3b69e8b724fdf14fc663f808f686037f (patch) | |
| tree | 73bd34bf697c75e5e9bb2498be4bdd7954639af5 /util/lint/lint-stable-021-coreboot-lowercase | |
| parent | a70ed00bc20a162cf2e13dfaafe80ea954fcfbef (diff) | |
util/ifdtool: Fix regions_collide() check
The old version was unnecessarily complex and allowed one region to
include the other.
Change-Id: Ibf7faf8103c8945b82c3962b5a7b82c3288b871f
Signed-off-by: Nico Huber <nico.h@gmx.de>
Reviewed-on: https://review.coreboot.org/c/30673
Reviewed-by: Felix Held <felix-coreboot@felixheld.de>
Reviewed-by: Stefan Reinauer <stefan.reinauer@coreboot.org>
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Diffstat (limited to 'util/lint/lint-stable-021-coreboot-lowercase')
0 files changed, 0 insertions, 0 deletions