diff options
| author | Michael Tretter <m.tretter@pengutronix.de> | 2018-05-16 12:14:47 +0200 |
|---|---|---|
| committer | Michael Olbrich <m.olbrich@pengutronix.de> | 2018-05-17 12:07:14 +0200 |
| commit | 07be67c35ff86e12ce502aa672f161dbea1fce98 (patch) | |
| tree | e1c512035afc6257856f8b9a75a6436fc03993b0 /rules/barebox.make | |
| parent | f20693599eeb7fac548dfc776c0b0b222c41b557 (diff) | |
| download | ptxdist-07be67c35ff86e12ce502aa672f161dbea1fce98.tar.gz ptxdist-07be67c35ff86e12ce502aa672f161dbea1fce98.tar.xz | |
barebox: fix rebuild of environment
Barebox does not rebuild the environment by default anymore since commit
105201e0013d ("build: fix that defaultenv is always rebuilt").
Therefore, changes in $(BAREBOX_EXTRA_ENV_PATH) do not propagate to the
Barebox image.
Remove the generated environment file to trigger a rebuild of the
environment.
Signed-off-by: Michael Tretter <m.tretter@pengutronix.de>
Signed-off-by: Michael Olbrich <m.olbrich@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 7c389e770..f09572941 100644 --- a/rules/barebox.make +++ b/rules/barebox.make @@ -89,6 +89,7 @@ ifdef PTXCONF_BAREBOX_EXTRA_ENV else \ cp "$(path)" $(BAREBOX_DIR)/.ptxdist-defaultenv/; \ fi;) + @rm -rf $(BAREBOX_DIR)/defaultenv/barebox_default_env endif @$(call touch) |