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:
 	@: