From e19a2f9f854a1a35ec110d01c9a7b03c326417f2 Mon Sep 17 00:00:00 2001 From: Fabian Homborg Date: Thu, 1 Apr 2021 22:40:06 +0200 Subject: [PATCH] Github: Force using vendored pcre2 It seems an update to the ubuntu image github uses included pcre2, but only the 64-bit version. So since we now force a 32-bit fish but don't force the vendored pcre, it complains. Simply force the vendored pcre as well as I don't believe it's worth it to change the pcre2 detection in this case. --- .github/workflows/main.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 106b520d8..708f3f9cb 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -48,7 +48,7 @@ jobs: CFLAGS: "-m32" run: | mkdir build && cd build - cmake .. + cmake -DFISH_USE_SYSTEM_PCRE2=OFF .. - name: make run: | make