tree 83547aeced2e1723a0c30121e77ac3b23c06c847
parent 1e0a0bcfd9bd7ba9c48ef6e74f9539cf9fff81e1
author Sebastien Hertz <shertz@google.com> 1364571968 +0100
committer Sebastien Hertz <shertz@google.com> 1364571968 +0100

Fix portable build.

Change-Id: I3c89a2ab2cb7f2f833ee0c9cf61b6fbad431f23d