From e097a8724eb9f3a8f61c990013d635d66c937b96 Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Wed, 19 Apr 2023 16:40:35 -0400 Subject: [PATCH] Exclude curve25519_64_msvc.c Quick fix for #1592 --- etc/ci/test-fiat-c-boringssl.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/etc/ci/test-fiat-c-boringssl.sh b/etc/ci/test-fiat-c-boringssl.sh index 906cbd67a27..decbd93f228 100755 --- a/etc/ci/test-fiat-c-boringssl.sh +++ b/etc/ci/test-fiat-c-boringssl.sh @@ -26,7 +26,7 @@ pushd boringssl >/dev/null echo "::group::Patching BoringSSL" ({ set -ex - ( cd third_party/fiat && for i in *.h; do cp "${SUBCOMPONENT_PATH}/${i/.h/.c}" "$i" || exit $?; done ) || exit $? + ( cd third_party/fiat && for i in *.h; do if [ "$i" != "curve25519_64_msvc.h" ]; then cp "${SUBCOMPONENT_PATH}/${i/.h/.c}" "$i" || exit $?; fi; done ) || exit $? ( cd third_party/fiat && git --no-pager diff ) }) || exit $? echo "::endgroup::"