Exclude curve25519_64_msvc.c

Quick fix for #1592
mit-plv · Apr 19, 2023 · e097a87 · e097a87
1 parent 457cb5e
commit e097a87
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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::"