diff options
author | Michael Olbrich <m.olbrich@pengutronix.de> | 2012-07-09 11:21:11 +0200 |
---|---|---|
committer | Michael Olbrich <m.olbrich@pengutronix.de> | 2012-07-09 11:21:13 +0200 |
commit | de4a81b59c3e6df447919553d7c689894798a482 (patch) | |
tree | a195e114a2034ae6361c840ae392ee7df98a8484 /platforms/barebox.in | |
parent | a602b694305e4d3cb9e2f34e2cd7a66732866429 (diff) | |
download | ptxdist-de4a81b59c3e6df447919553d7c689894798a482.tar.gz ptxdist-de4a81b59c3e6df447919553d7c689894798a482.tar.xz |
barebox: add option to install target 'bareboxenv'ptxdist-2012.07.0
Signed-off-by: Michael Olbrich <m.olbrich@pengutronix.de>
Diffstat (limited to 'platforms/barebox.in')
-rw-r--r-- | platforms/barebox.in | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/platforms/barebox.in b/platforms/barebox.in index 702828f81..a98fddf74 100644 --- a/platforms/barebox.in +++ b/platforms/barebox.in @@ -51,4 +51,12 @@ config BAREBOX_EXTRA_ENV_PATH default "${PTXDIST_PLATFORMCONFIGDIR}/barebox-defaultenv" depends on BAREBOX_EXTRA_ENV +config BAREBOX_BAREBOXENV + prompt "install 'bareboxenv'" + bool + help + The tool 'bareboxenv' can be used to manipulate the barebox + environment. Enable this option access the barebox environment + from the target Linux system. + endif |