Replying to myself, > Again: set WRKOBJDIR on the client side and you don't need > to be writing in the remotely mounted tree at all.
the following is nonsense, of course: > Another advantage of that is that when you build some port that requires > e.g. the X11 to be installed, you only need it installed on the machine > that performs the port build, that is, the (one) client that actually > needs it. - the stuff needed for a proper port build either is or is not present on the machine that makes the build, *regardless* of which /usr/ports the machine uses. Jan