diff options
| author | Angel Pons <th3fanbus@gmail.com> | 2020-03-01 15:41:55 +0100 |
|---|---|---|
| committer | Nico Huber <nico.h@gmx.de> | 2020-03-08 14:24:03 +0000 |
| commit | b3bfb2a1a7ffc190dc37905b073da8d1d3b054ba (patch) | |
| tree | 7c70fefc5d1de06b3652c30968085ae16ce846d6 /Documentation | |
| parent | ac7d6b409e117bb7559d01e5a57e634712503fe5 (diff) | |
util/kconfig: Silence warning about _GNU_SOURCE
For some reason, this symbol gets redefined, which causes a warning.
Hide the warning by checking whether it is already defined.
Change-Id: I70ffc9a799e0b536d6aba7d00f828bd6d915d94c
Signed-off-by: Angel Pons <th3fanbus@gmail.com>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/39183
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Nico Huber <nico.h@gmx.de>
Diffstat (limited to 'Documentation')
0 files changed, 0 insertions, 0 deletions