catkin/catkin_tools — pull request #85 by xqms (2014-07-12 15:16:55+00:00)
Title: build: add an internal GNU make job server, see #84

This is a proof-of-concept for #84.

To test it, try `catkin build --jobserver-limit 4` to limit the number of build tool processes to 4.

You can see the number of currently running make jobs in the lower right corner (`Make: X`).

I know the implementation is pretty ugly, but maybe this is a starting point for discussion.