zuul: use the new rustls directory name

Follow-up to 6d972c8b1c which missed updating this directory name.

Also no longer call it crustls in the docs and bump to rusttls-ffi 0.7.1

Closes #7311
This commit is contained in:
Daniel Stenberg 2021-06-29 08:27:01 +02:00
parent ca8893468f
commit 8ccc066b45
No known key found for this signature in database
GPG key ID: 5CC908FDB71E12C2
3 changed files with 7 additions and 7 deletions

View file

@ -123,7 +123,7 @@ if [ "$TRAVIS_OS_NAME" = linux -a "$RUSTLS_VERSION" ]; then
curl https://sh.rustup.rs -sSf | sh -s -- -y
source $HOME/.cargo/env
cargo install cbindgen
cd $HOME/crustls
cd $HOME/rustls-ffi
make
make DESTDIR=$HOME/crust install
fi