Samuel Thibault wrote: > Yavor Doganov, on dim. 18 févr. 2018 23:52:32 +0200, wrote: > > | checking kernel support for /proc filesystem... no > It seems there was a temporary issue on mahler: > [...] > Rebooting seems to fix it, I have requeued gnustep-base. Thanks very much, built successfully.