On Mon, Mar 11, 2019 at 10:51:52AM +0000, tech-lists wrote: just in case anyone gets stuck[1] like I did, the easiest thing was to keep two ports trees, the default (current) one, build everything the servers need that isn't php in there, then have the other tree at r488745 and not update it. [1] rather than updating one tree. doh! -- J.