tree 7377363fa2d185fd71181a629636e00274de3b94
parent af6b80b7dc851e8af9d4249236478753da236c00
author Enrico Granata <egranata@google.com> 1585007295 -0700
committer Enrico Granata <egranata@google.com> 1585077900 +0000

Add a device parameter to the gui.py emulator script

Allow the Emulator GUI to point to one of multiple connected devices

Bug: 152255618
Test: ./gui.py -s <device id>
Change-Id: I6d7fedad83b852367effae556ef097178f9f9fe7