tree e11f9a4fa0ea615a1eaf799374c66b44e74be670
parent dfd02143051b82464d4838fe813bf7745e46d2d9
author David 'Digit' Turner <digit@google.com> 1470151427 +0200
committer David 'Digit' Turner <digit@google.com> 1475080580 -0700

android: Update android_pipe virtual device.

WARNING: This makes the device dependent on the AndroidEmu
header android/emulation/android_pipe_device.h.