1 --- ../cache/racket-6.12/src/rktio/rktio_dll.c 2017-10-12 18:23:27.000000000 +0000
2 +++ ./src/rktio/rktio_dll.c 2018-03-18 01:22:17.345952252 +0000
5 #include "rktio_private.h"
13 #ifdef RKTIO_SYSTEM_UNIX
14 -# if defined(__ANDROID__)
15 +# if defined(__ANDROID__) && !defined(__x86_64__) && !defined(__aarch64__)
16 if (!name) handle = RTLD_DEFAULT; else
17 # elif defined(__CYGWIN32__)
18 if (!name) { handle = RTLD_DEFAULT; null_ok = 1; } else