tree eb3a2748779c867e71b0d44c286a35d2eb9c83ac
parent 9d2c991338461ad28973835cb489bdcbcadf97c2
author Jakob Buchgraber <buchgr@google.com> 1519727979 +0100
committer Jakob Buchgraber <buchgr@google.com> 1519727979 +0100

fix platform detection