diff options
| author | Peter Maydell <peter.maydell@linaro.org> | 2020-03-19 19:33:18 +0000 |
|---|---|---|
| committer | Peter Maydell <peter.maydell@linaro.org> | 2020-04-14 09:44:31 +0100 |
| commit | c160f17cd6f5fc3f8698b408a451149b34b1a647 (patch) | |
| tree | 7071e7f33ce28b5da31786029a6aa1220f4618e3 /docs/sphinx/kernellog.py | |
| parent | 14e5526b51910efd62cd31cd95b49baca975c83f (diff) | |
| download | focaccia-qemu-c160f17cd6f5fc3f8698b408a451149b34b1a647.tar.gz focaccia-qemu-c160f17cd6f5fc3f8698b408a451149b34b1a647.zip | |
osdep.h: Drop no-longer-needed Coverity workarounds
In commit a1a98357e3fd in 2018 we added some workarounds for Coverity not being able to handle the _Float* types introduced by recent glibc. Newer versions of the Coverity scan tools have support for these types, and will fail with errors about duplicate typedefs if we have our workaround. Remove our copy of the typedefs. Signed-off-by: Peter Maydell <peter.maydell@linaro.org> Reviewed-by: Richard Henderson <richard.henderson@linaro.org> Message-id: 20200319193323.2038-2-peter.maydell@linaro.org
Diffstat (limited to 'docs/sphinx/kernellog.py')
0 files changed, 0 insertions, 0 deletions