diff options
author | Patrick Georgi <pgeorgi@google.com> | 2020-11-25 16:24:05 +0000 |
---|---|---|
committer | Patrick Georgi <pgeorgi@google.com> | 2020-11-30 21:51:05 +0000 |
commit | 36c2ea4a630fee8607599baab7d8a9dcd2f9ca53 (patch) | |
tree | 03cc4f406fec87d49e3e1d3a7e771e1b35736eaa /Documentation | |
parent | e2cb8696f0ea1522b256bcb3973c659c3cd76384 (diff) |
util/pgtblgen: Improve compatibility
Fix build on Debian/jessie
Change-Id: I987e7a03441b40ab06ccd54a21e38aac81a1c28d
Signed-off-by: Patrick Georgi <pgeorgi@google.com>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/48004
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Martin Roth <martinroth@google.com>
Diffstat (limited to 'Documentation')
0 files changed, 0 insertions, 0 deletions