![](https://secure.gravatar.com/avatar/565476157eb3895a9c928ffce26d988d.jpg?s=120&d=mm&r=g)
23 Dec
2008
23 Dec
'08
9:36 a.m.
Hi Martin, What do you think is better from a maintenance pov: disabling the job server temporarily, or explicitly adding the dependancies to the Makefile(.in) ? Cheers, Taco