tree 4b7083111445d0e55e8f1ccc69f5c2d423297243
parent 16d5e0b6a78c676449596b3bae41ff65979b4181
author Brendan Jackman <brendan.jackman@arm.com> 1508333169 +0100
committer Brendan Jackman <brendan.jackman@arm.com> 1508333214 +0100

AndroidTarget: Make get_rotation return an int

That means you can pass the result back to set_rotation without
having to change its type.