Wei Liu 48a70499e6 tools/kdd: work around gcc 8.1 bug ...

Gcc 8.1 has a bug that causes kdd fail to build. Rewrite the code to
work around that bug.

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86827

Signed-off-by: Tim Deegan <tim@xen.org>
Signed-off-by: Wei Liu <wei.liu2@citrix.com>
Tested-by: Wei Liu <wei.liu2@citrix.com>
Acked-by: Ian Jackson <ian.jackson@eu.citrix.com>

2018-08-20 11:49:46 +01:00

..

gdbsx

tools/gdbsx: use inttypes.h instead of custom macros

2018-08-01 10:39:47 +01:00

kdd

tools/kdd: work around gcc 8.1 bug

2018-08-20 11:49:46 +01:00