/boot/config-$(shell uname -r) on buildds ?

[Mathieu Malaterre]

Hi there,

Could someone please confirm that the config file:
/boot/config-$(shell uname -r) is not present on buildds ? Is there an
alternate way to grep the configuration of the running kernel ?