ehird/ninja — comment on commit 121f36d59f293263b9a27d01a8112de17978c5d1
File:  line 0
By martine:

Sorry for the confusing back and forth. I think you've convinced me that allowing it to be set at configure time is fine. Please just send whatever pull request you have (I guess this one plus the rewritten bootstrap script).