From fcc467e0c095e7655f4f06fa20a7cba2c9290ece Mon Sep 17 00:00:00 2001
From: Jason Gross <jgross@mit.edu>
Date: Wed, 19 Apr 2023 18:56:45 -0700
Subject: [PATCH] Exclude curve25519_64_msvc.c (#1593)

Quick fix for #1592
---
 etc/ci/test-fiat-c-boringssl.sh | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/etc/ci/test-fiat-c-boringssl.sh b/etc/ci/test-fiat-c-boringssl.sh
index 906cbd67a2..ff4646d739 100755
--- a/etc/ci/test-fiat-c-boringssl.sh
+++ b/etc/ci/test-fiat-c-boringssl.sh
@@ -26,7 +26,11 @@ 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" ] && [ "$i" != "p256_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::"