mirror of
https://github.com/linuxboot/heads.git
synced 2024-12-20 05:28:08 +00:00
CircleCI: add CircleCI step to source manually /devenv.sh in build_board additional step
Signed-off-by: Thierry Laurion <insurgo@riseup.net>
This commit is contained in:
parent
70a9f93ddf
commit
76c20847da
@ -13,6 +13,8 @@ commands:
|
|||||||
- run:
|
- run:
|
||||||
name: Make Board (console logs not contiguous because multiple CPUS used to build under CircleCI, see logs in artifacts or Output build failing logs below in case of failed step)
|
name: Make Board (console logs not contiguous because multiple CPUS used to build under CircleCI, see logs in artifacts or Output build failing logs below in case of failed step)
|
||||||
command: |
|
command: |
|
||||||
|
echo "Sourcing /devenv.sh since docker entrypoint doesn't do it as expected"
|
||||||
|
source /devenv.sh
|
||||||
rm -rf build/<<parameters.arch>>/<<parameters.target>>/* build/<<parameters.arch>>/log/*
|
rm -rf build/<<parameters.arch>>/<<parameters.target>>/* build/<<parameters.arch>>/log/*
|
||||||
make V=1 BOARD=<<parameters.target>> <<parameters.subcommand>> || touch ./tmpDir/failed_build
|
make V=1 BOARD=<<parameters.target>> <<parameters.subcommand>> || touch ./tmpDir/failed_build
|
||||||
no_output_timeout: 3h
|
no_output_timeout: 3h
|
||||||
|
Loading…
Reference in New Issue
Block a user