On Fri, 26 Jan 2018 12:45:13 -0500
Greg Wooledge <wool...@eeg.ccf.org> wrote:
> 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)
Oh, thanks, didn't know that one yet ;)
Regards
Michael
.-.. .. ...- . .-.. --- -. --. .- -. -.. .--. .-. --- ... .--. . .-.
I am pleased to see that we have differences. May we together become
greater than the sum of both of us.
-- Surak of Vulcan, "The Savage Curtain", stardate 5906.4
