tree 9ddc3e4a9c757032fd74159f4ce26faff28be5c7
parent 130a8aefb3eb0d1c2b4a77f01b0092d090fd3c23
author Andrew Walbran <qwandor@google.com> 1590054467 +0100
committer Andrew Walbran <qwandor@google.com> 1590054798 +0100

Don't run in Docker container for Jenkins build.

Change-Id: I5c2ac7309c4fadddfb83af7eb7f2dda4bf33113b