diff options
author | Juergen Borleis <jbe@pengutronix.de> | 2017-06-14 17:13:22 +0200 |
---|---|---|
committer | Juergen Borleis <jbe@pengutronix.de> | 2017-06-16 10:50:13 +0200 |
commit | 457fd335ccbea618895cbdd21cfd9b426bd09368 (patch) | |
tree | c7dd4ab6a2c42f6e9b9d30a4937f4f0d80f93cfa /rules/barebox.make | |
parent | 8441b8ad4f3f826c2b95a5a2f1d5d079ed9519dc (diff) | |
download | ptxdist-457fd335ccbea618895cbdd21cfd9b426bd09368.tar.gz ptxdist-457fd335ccbea618895cbdd21cfd9b426bd09368.tar.xz |
Barebox: never use it as a pre-built package
Using pre-build packages can speed up building a BSP dramatically. But some
packages (like the kernel) are never candidates for a pre-built package,
and so is Barebox as well. Remove it from the list of pre-built packages.
Signed-off-by: Juergen Borleis <jbe@pengutronix.de>
Diffstat (limited to 'rules/barebox.make')
-rw-r--r-- | rules/barebox.make | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/rules/barebox.make b/rules/barebox.make index 70340e9bf..74576ce48 100644 --- a/rules/barebox.make +++ b/rules/barebox.make @@ -25,6 +25,7 @@ BAREBOX_URL := $(call barebox-url, BAREBOX) BAREBOX_SOURCE := $(SRCDIR)/$(BAREBOX).$(BAREBOX_SUFFIX) BAREBOX_DIR := $(BUILDDIR)/$(BAREBOX) BAREBOX_LICENSE := GPL-2.0 +BAREBOX_DEVPKG := NO BAREBOX_CONFIG := $(call remove_quotes, $(PTXDIST_PLATFORMCONFIGDIR)/$(PTXCONF_BAREBOX_CONFIG)) |