.. the executables are what the say they are. AMD64/x64/x86-64 Windows
uses PE32+ file format:
Using Microsoft's dumpbin:
dumpbin /HEADERS
C:\android-ndk-r9d\toolchains\arm-linux-androideabi-4.8\prebuilt\windows-x86_64\bin\arm-linux-androideabi-gcc.exe
| findstr machine
8664 machine (x64)
.. or using darwinsys' file:
file /c/android-ndk-r9d/toolchains/arm-linux-androideabi-4.8/prebuilt/windows-x86_64/bin/arm-linux-androideabi-gcc.exe
/c/android-ndk-r9d/toolchains/arm-linux-androideabi-4.8/prebuilt/windows-x86_64/bin/arm-linux-androideabi-gcc.exe:
PE32+ executable (console) x86-64 (stripped to external PDB), for MS
Windows