On Fri, Jan 26, 2018 at 06:07:13PM +0100, Michael Lange wrote: > I am definitely anything but an expert on this; but with sid's 4.14.15 > (which I assumed was compiled with said gcc-7.2) the script here says:
You shouldn't have to assume. /proc/version tells you which compiler was used. wooledg:~$ cat /proc/version Linux version 4.9.0-5-amd64 (debian-ker...@lists.debian.org) (gcc version 6.3.0 20170516 (Debian 6.3.0-18) ) #1 SMP Debian 4.9.65-3+deb9u2 (2018-01-04)