search

seL4 / util_libs

Other
55 stars 83 forks source link

libplatsupport: fix build warnings #160

Closed axel-h closed 1 year ago

axel-h commented 1 year ago

Use proper format specifiers to avoid build warnings "warning: format specifies type 'unsigned long long' but the argument has type 'uint64_t' (aka 'unsigned long') [-Wformat]" on 64-bit platforms. Seen with clang, which seems a bit more picky than gcc.

axel-h commented 1 year ago

Now the style checker should be happy also.