From 5dd7baa8cf810aef3763f3cfad15b5e5b3e2ef70 Mon Sep 17 00:00:00 2001 From: Evan Martin Date: Fri, 14 Jan 2011 17:21:25 -0800 Subject: [PATCH] use config file for build-time options; default to opt --- bootstrap.sh | 7 +++++++ build.ninja | 8 ++++++-- 2 files changed, 13 insertions(+), 2 deletions(-) diff --git a/bootstrap.sh b/bootstrap.sh index dadecfc..c36d533 100755 --- a/bootstrap.sh +++ b/bootstrap.sh @@ -2,6 +2,13 @@ set -e +cat >config.ninja <