diff options
-rwxr-xr-x | scripts/zuul/before_script.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/zuul/before_script.sh b/scripts/zuul/before_script.sh index b909b5ba7..79bdb04b5 100755 --- a/scripts/zuul/before_script.sh +++ b/scripts/zuul/before_script.sh @@ -101,7 +101,7 @@ if [ "$TRAVIS_OS_NAME" = linux -a "$MBEDTLS3" ]; then git clone --depth=1 -b v3.0.0 https://github.com/ARMmbed/mbedtls cd mbedtls make - make DESTDIR=$HOME/mbedtls3 + make DESTDIR=$HOME/mbedtls3 install fi if [ "$TRAVIS_OS_NAME" = linux -a "$LIBRESSL" ]; then |