tree c75aa415080b34eb3166ab780449ce67025c6e27
parent 1f89d0f880479789eb71bcad50848a8e546e31a4
author Yaowu Xu <yaowu@google.com> 1490309703 -0700
committer Yaowu Xu <yaowu@google.com> 1490376459 +0000

Fix compiling for supertx

Change-Id: I0a067e89d544f72d7ce08b0e4cccb77c4c3c9497