Update patch set 1
Patch Set 1: > > I agree, we can lower the timeout too. Any proposals for the new > > value? > > On second thought, this is how long it took with `make -j` on a > node with 48x1.8GHz: > Started13:34:26 24/02/2017 > Finished13:56:45 24/02/2017 > I think we should leave the timeout as-is. > It would be nice to build all these at plugin build later, though. definitely. ok then, let's merge as is then, im good. Patch-set: 1
This commit is contained in:
parent
3559cc878e
commit
d5f435dc0b