mozilla/servo — pull request #1539 by aydinkim (2014-01-23 02:21:22+00:00)
Title: fix option order of make servo

fix android build error on certain environment