Add git pull when switch

Signed-off-by: Pol Henarejos <pol.henarejos@cttc.es>
This commit is contained in:
Pol Henarejos 2025-02-21 19:12:19 +01:00
parent 71af710568
commit db338842b9
No known key found for this signature in database
GPG key ID: C0095B7870A4CCD3

View file

@ -144,6 +144,12 @@ if(NOT ESP_PLATFORM)
WORKING_DIRECTORY ${CMAKE_SOURCE_DIR}
OUTPUT_QUIET ERROR_QUIET
)
execute_process(
COMMAND git -C ${MBEDTLS_PATH} pull
WORKING_DIRECTORY ${CMAKE_SOURCE_DIR}
OUTPUT_QUIET ERROR_QUIET
)
endif(NOT ESP_PLATFORM)
set(MBEDTLS_SOURCES