make options const
authorEvan Martin <martine@danga.com>
Thu, 22 Sep 2011 17:38:56 +0000 (10:38 -0700)
committerEvan Martin <martine@danga.com>
Thu, 22 Sep 2011 17:38:56 +0000 (10:38 -0700)
commite78a69ef9c77b15990d919b8e62946c9b321a96b
treef5c976f46ceb2ce6cf153f874ef13500bc0eacb8
parent2d766772aadeca3bc78c4d5b636cad2ad76f7841
make options const
src/ninja.cc