Exclude curve25519_64_msvc.c

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