| commit | c12486beaa227d442952891f8507dc5344bc6435 | [log] [tgz] |
|---|---|---|
| author | sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Mon Dec 17 14:46:48 2012 +0000 |
| committer | sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> | Mon Dec 17 14:46:48 2012 +0000 |
| tree | f67d0fd59f953356b9bba1ef6e7d888e41b9055a | |
| parent | 059838bd94f9d06cd31648dc9bbf7da71c3db957 [diff] |
Fix the configure check so that fair-sched works on Android too. git-svn-id: svn://svn.valgrind.org/valgrind/trunk@13186 a5019735-40e9-0310-863c-91ae7b9d1cf9