From 76c20847da66ead24659bcf56b5aec98cdb23bfb Mon Sep 17 00:00:00 2001
From: Thierry Laurion <insurgo@riseup.net>
Date: Wed, 1 May 2024 12:10:14 -0400
Subject: [PATCH] CircleCI: add CircleCI step to source manually /devenv.sh in
 build_board additional step

Signed-off-by: Thierry Laurion <insurgo@riseup.net>
---
 .circleci/config.yml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.circleci/config.yml b/.circleci/config.yml
index f4602c74..7c5d2848 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -13,6 +13,8 @@ commands:
       - 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)
           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/*
             make V=1 BOARD=<<parameters.target>> <<parameters.subcommand>> || touch ./tmpDir/failed_build
           no_output_timeout: 3h