diff options
| author | Julius Werner <jwerner@chromium.org> | 2019-05-10 15:23:22 -0700 |
|---|---|---|
| committer | Patrick Georgi <pgeorgi@google.com> | 2019-05-13 10:25:45 +0000 |
| commit | 795fda033656982a8aeef0e105bcfbc9a73c8c13 (patch) | |
| tree | 450424f1c690e31ee255b708fd9453d18724fcce /Documentation/conf.py | |
| parent | c15e600490fcc0e7da2a4495b233a4f9c62c8cd1 (diff) | |
Reland "Makefile.inc: Enable -Wtype-limits""
This reverts commit 99e836c843e6a8536348d5cc9581b5a17512a263.
This relands commit c4ab50cdde4bfd01ec7509012b105c88bcf4c953.
The issues with -Wtype-limits in the vboot submodule have been resolved
now, so we can enable this flag again.
Change-Id: I32e8cc88e69072e7ee66cf443b578a9a8ea0ebe2
Signed-off-by: Julius Werner <jwerner@chromium.org>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/32749
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Joel Kitching <kitching@google.com>
Diffstat (limited to 'Documentation/conf.py')
0 files changed, 0 insertions, 0 deletions