mirror of https://github.com/ARMmbed/mbed-os.git
mbedtls: Fetch instead of pull
Do a git fetch of mbedtls instead of a pull. We don't need to checkout development, only the release specified.pull/10642/head
parent
bb17408a14
commit
ce2de9a9bf
|
@ -150,8 +150,7 @@ update: $(MBED_TLS_GIT_CFG) $(MBED_TLS_HA_GIT_CFG)
|
|||
# Updating to the specified mbed TLS library version
|
||||
# (If it is not an initial checkout we will start with the repository
|
||||
# being in a detached head state)
|
||||
git -C $(MBED_TLS_DIR) checkout development
|
||||
git -C $(MBED_TLS_DIR) pull --rebase origin development
|
||||
git -C $(MBED_TLS_DIR) fetch
|
||||
#
|
||||
# Checking out the required release
|
||||
git -C $(MBED_TLS_DIR) checkout $(MBED_TLS_RELEASE)
|
||||
|
|
Loading…
Reference in New Issue