From dcc6264f255211781ba4c7226fd47595619204b6 Mon Sep 17 00:00:00 2001
From: James Kermode <J.R.Kermode@warwick.ac.uk>
Date: Mon, 2 Oct 2023 20:35:15 +0100
Subject: [PATCH] try to make twice

---
 .github/workflows/build-wheels.yml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/build-wheels.yml b/.github/workflows/build-wheels.yml
index 5857947..f6e355b 100644
--- a/.github/workflows/build-wheels.yml
+++ b/.github/workflows/build-wheels.yml
@@ -35,6 +35,7 @@ jobs:
           cd pcre2-${pcre2_version}
           ./configure
           make
+          make # yes, twice
           make install
       - name: Build wheels
         uses: pypa/cibuildwheel@v2.12.1
@@ -71,7 +72,7 @@ jobs:
           if [[ ${{ github.ref }} =~ ^refs/tags/v[0-9]+\.[0-9]+\.[0-9]+ ]]; then
             echo "match=true" >> $GITHUB_OUTPUT
           fi
-          
+
       - name: Deploy to PyPI
         if: steps.check-tag.outputs.match == 'true'
         run: |