Hi, I see this ps error too on my box, version 3.9.4. Can it be overcome to try building until 3.9.5 is out? I suspect there are issues with make 4.0 too.
-- To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
