From 28f88257b91921e61b411e0feb23395578858210 Mon Sep 17 00:00:00 2001 From: Patrick McDermott Date: Mon, 20 May 2019 18:08:28 -0400 Subject: build: Document local.mk a bit --- 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: @: -- cgit v0.9.1