tree 64177ed773f0592315a2adf1c3534db2fdfd4f4f
parent ab6f212f0c28f4be62cc5defb51a5bee6d98189d
author Rico Wind <ricow@google.com> 1550585477 +0100
committer Rico Wind <ricow@google.com> 1550585477 +0100

Change os type to match our pool

Bug: 124643718
Change-Id: Ie26b1a29c5ec338461c81dfc766af4ca200de350