jkilpatr d773f23484 Set oooq CI to use ssh-dns option ... Added this switch yesterday, should speed up my CI work in general. Needs some quick testing to make sure we don't run into that timed out waiting for sudo error that came up earlier. Change-Id: I7cc64a48fe0e26427fed01260d232de22cf91a90		2016-12-07 16:13:46 +00:00
..
install-and-check	Use variable overloading instead of duplication for CI config values	2016-10-03 08:02:12 -04:00
oooq	Set oooq CI to use ssh-dns option	2016-12-07 16:13:46 +00:00