Wireshark-dev: [Wireshark-dev] Ubuntu build hit an error not exposed by the GitLab build system

From: Richard Sharpe <realrichardsharpe@xxxxxxxxx>
Date: Sun, 20 Mar 2022 09:05:02 -0700
Hi folks,

I committed a change for the tools/radiotap-gen tool after it passed
the normal build.

Then Alexis reported errors like this on Ubuntu:
--------------------------

/usr/bin/cc -DG_DISABLE_DEPRECATED -DG_DISABLE_SINGLE_INCLUDES -I.
-I../ -I../include -isystem /usr/include/glib-2.0 -isystem
/usr/lib/x86_64-linux-gnu/glib-2.0/include -fvisibility=hidden
-Qunused-arguments -Wall -Wextra -Wendif-labels -Wpointer-arith
-Wformat-security -fwrapv -fno-strict-overflow -Wvla -Waddress
-Wattributes -Wdiv-by-zero -Wignored-qualifiers -Wpragmas
-Wno-overlength-strings -Wno-long-long -Wheader-guard -Wcomma
-Wshorten-64-to-32 -Wredundant-decls -Wframe-larger-than=32768
-fcolor-diagnostics -Wunused-const-variable -Wshadow
-Wold-style-definition -Wstrict-prototypes -Werror=implicit
-Wno-pointer-sign  -O2 -g -DNDEBUG -fPIE   -std=gnu11 -MD -MT
tools/radiotap-gen/CMakeFiles/radiotap-gen.dir/radiotap-gen.c.o -MF
tools/radiotap-gen/CMakeFiles/radiotap-gen.dir/radiotap-gen.c.o.d -o
tools/radiotap-gen/CMakeFiles/radiotap-gen.dir/radiotap-gen.c.o   -c
../tools/radiotap-gen/radiotap-gen.c
../tools/radiotap-gen/radiotap-gen.c:23:2: error: unknown type name 'uint16_t'
        uint16_t type;
        ^
-------------------------

It was solved by adding stdint.h, but my question is: Why didn't the
build system find this problem?

-- 
Regards,
Richard Sharpe
(何以解憂?唯有杜康。--曹操)(传说杜康是酒的发明者)