skvidal@xxxxxxxxxxxx (seth vidal) writes: >> > oh and the current 'make build' way relies on me uploading them, >> > manually, from time to time using plague. So 'ignoring the whole >> > make build' is entirely the point. make build will become make >> > plague sometime soon. >> >> Hopefully, plague will be finished then... > > If you send in a patch, I'm sure it will be. Thanks; but I do not want to waste yet more time with patches which are ignored by you. So I will just use 'make build' until plague is fixed. Enrico