diff options
author | Michael Olbrich <m.olbrich@pengutronix.de> | 2011-03-09 21:33:49 +0100 |
---|---|---|
committer | Michael Olbrich <m.olbrich@pengutronix.de> | 2011-03-10 12:09:08 +0100 |
commit | a0d0b0102e7e262ad545a92e4ace74ed1f3e01c2 (patch) | |
tree | 42799aaeb554b6c1167459408279bf2c7e1a2647 /platforms | |
parent | aeb10121af5acfad18e2cb45b51b756dee00d76d (diff) | |
download | ptxdist-a0d0b0102e7e262ad545a92e4ace74ed1f3e01c2.tar.gz ptxdist-a0d0b0102e7e262ad545a92e4ace74ed1f3e01c2.tar.xz |
barebox: add options to extend the builtin environment
also install the resulting environment to $(IMAGEDIR)/
Signed-off-by: Michael Olbrich <m.olbrich@pengutronix.de>
Diffstat (limited to 'platforms')
-rw-r--r-- | platforms/barebox.in | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/platforms/barebox.in b/platforms/barebox.in index 0d6846601..0a2a9d94d 100644 --- a/platforms/barebox.in +++ b/platforms/barebox.in @@ -36,4 +36,14 @@ config BAREBOX_ARCH_STRING default "blackfin" if ARCH_BLACKFIN default "ppc" if ARCH_PPC +config BAREBOX_EXTRA_ENV + prompt "extend the builtin barebox environment" + bool + +config BAREBOX_EXTRA_ENV_PATH + prompt "env dir" + string + default "${PTXDIST_PLATFORMCONFIGDIR}/barebox-defaultenv" + depends on BAREBOX_EXTRA_ENV + endif |