We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 070c0ca commit 8d8ed1bCopy full SHA for 8d8ed1b
1 file changed
.github/setup_ci.sh
@@ -189,8 +189,8 @@ if [ ! -z "${INSTALL_BEARSSL}" ]; then
189
(cd ${HOME} &&
190
git clone -b "${INSTALL_BEARSSL}" https://bearssl.org/git/BearSSL bearssl &&
191
cd bearssl && make -j2 &&
192
- sudo cp build/libbearssl.a /usr/lib &&
193
- sudo cp inc/*.h /usr/include)
+ sudo cp build/libbearssl.a /usr/local/lib &&
+ sudo cp inc/*.h /usr/local/include)
194
fi
195
196
if [ ! -z "${INSTALL_LIBFIDO2}" ]; then
0 commit comments