Re: /proc availability on buildds

2018-02-18 Thread Yavor Doganov
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.

Re: /proc availability on buildds

2018-02-18 Thread Samuel Thibault
Yavor Doganov, on dim. 18 févr. 2018 23:52:32 +0200, wrote: > | checking kernel support for /proc filesystem... no Looking at the actual test: grep 'proc' /proc/mounts It seems there was a temporary issue on mahler: $ cat /proc/mounts cat: /proc/mounts: (os/kern) invalid right Rebooting seems