| 1 | diff -u -r ../fish-shell-c76d86631717929b3a2f259615e8603e69e13256/src/env_universal_common.h ./src/env_universal_common.h |
| 2 | --- ../fish-shell-c76d86631717929b3a2f259615e8603e69e13256/src/env_universal_common.h 2016-05-03 01:20:53.000000000 -0400 |
| 3 | +++ ./src/env_universal_common.h 2016-05-03 07:14:21.002360936 -0400 |
| 4 | @@ -116,9 +116,11 @@ |
| 5 | // Default meta-strategy to use the 'best' notifier for the system. |
| 6 | strategy_default, |
| 7 | |
| 8 | +#ifndef __ANDROID__ |
| 9 | // Use a value in shared memory. Simple, but requires polling and therefore semi-frequent |
| 10 | // wakeups. |
| 11 | strategy_shmem_polling, |
| 12 | +#endif |
| 13 | |
| 14 | // Strategy that uses a named pipe. Somewhat complex, but portable and doesn't require |
| 15 | // polling most of the time. |