fix build_rln.sh script (#3704)

This commit is contained in:
Ivan FB 2026-01-30 15:35:37 +01:00 committed by GitHub
parent 77f6bc6d72
commit 09034837e6
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -18,7 +18,7 @@ output_filename=$3
host_triplet=$(rustc --version --verbose | awk '/host:/{print $2}')
tarball="${host_triplet}"
tarball+="-stateless"
tarball+="-rln.tar.gz"
# Download the prebuilt rln library if it is available