summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xbuild3
1 files changed, 3 insertions, 0 deletions
diff --git a/build b/build
index 4c740b2..5486dc0 100755
--- a/build
+++ b/build
@@ -95,6 +95,9 @@ native_target = bootstrap-lean
cross_target = all-gcc
jobs = 4
include ../local.mk
+# For example, to disable bootstrapping, set these in local.mk:
+# extra_opts = --disable-bootstrap
+# native_target = all
nop:
@: