Update patch set 1

Patch Set 1: Code-Review+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.

Patch-set: 1
Label: Code-Review=+1
This commit is contained in:
Gerrit User 22328 2017-02-24 13:16:48 +00:00 committed by Gerrit Code Review
parent 4f54a19202
commit 3559cc878e

Diff Content Not Available