Commit 05870ed62edd8728d6d732f60d6b7e149d45e6f4

Primiano Tucci 2014-04-02T11:35:27

Use __aarch64__ for 64-bit ARM detection, not __arm64__ Many GCC versions don't define __arm64__