Pump mode uses the system header files (header files in the default system
include directories) from the servers, rather than from the client.
This means that for deterministic operation, those header files need to be
the same on all the distcc servers as they are on the distcc client.
However, currently there's no easy way to check that.
We should provide a tool that users can run to check it.
Original issue reported on code.google.com by
fer...@google.comon 4 Aug 2008 at 9:44