From 1f8281e27274fdd6152e6a7dd073b952082cc574 Mon Sep 17 00:00:00 2001
From: Ladislas de Toldi <ladislas@detoldi.me>
Date: Thu, 12 Aug 2021 15:30:56 +0200
Subject: [PATCH] :adhesive_bandage: (workflow): Curl mbed if base and head
 versions are different

---
 .../workflows/ci-code_analysis-compare_bin_map_files.yml    | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/.github/workflows/ci-code_analysis-compare_bin_map_files.yml b/.github/workflows/ci-code_analysis-compare_bin_map_files.yml
index bb0346f578..9c85a2492b 100644
--- a/.github/workflows/ci-code_analysis-compare_bin_map_files.yml
+++ b/.github/workflows/ci-code_analysis-compare_bin_map_files.yml
@@ -159,6 +159,9 @@ jobs:
         run: |
           git checkout ${{ github.base_ref }}
           make deep_clean
+          if [[ "$base_mbed" != "$head_mbed" ]]; then
+            make mbed_curl VERSION=${{ env.base_mbed }}
+          fi
           make config
           make
 
@@ -171,6 +174,9 @@ jobs:
         run: |
           git checkout ${{ github.head_ref }}
           make deep_clean
+          if [[ "$base_mbed" != "$head_mbed" ]]; then
+            make mbed_curl VERSION=${{ env.head_mbed }}
+          fi
           make config
           make