From b5be4b92091eb843662d748e8ba381a216157fab Mon Sep 17 00:00:00 2001
From: "Emil J. Tywoniak" <emil@tywoniak.eu>
Date: Mon, 14 Jul 2025 22:16:46 +0200
Subject: [PATCH] fixup! CI: sneak FlexLexer.h into the WASI sysroot

---
 .github/workflows/extra-builds.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/extra-builds.yml b/.github/workflows/extra-builds.yml
index 521f8c61d..0767b1721 100644
--- a/.github/workflows/extra-builds.yml
+++ b/.github/workflows/extra-builds.yml
@@ -67,12 +67,12 @@ jobs:
           WASI_SDK=wasi-sdk-19.0
           WASI_SDK_URL=https://github.com/WebAssembly/wasi-sdk/releases/download/wasi-sdk-19/wasi-sdk-19.0-linux.tar.gz
           if ! [ -d ${WASI_SDK} ]; then curl -L ${WASI_SDK_URL} | tar xzf -; fi
+          ln -s /usr/include/FlexLexer.h ${WASI_SDK}/share/wasi-sysroot/include/
 
           mkdir -p build
           cat > build/Makefile.conf <<END
           export PATH := $(pwd)/${WASI_SDK}/bin:${PATH}
           WASI_SYSROOT := $(pwd)/${WASI_SDK}/share/wasi-sysroot
-          ln -s /usr/include/FlexLexer.h ${WASI_SYSROOT}/include/
 
           CONFIG := wasi
           PREFIX := /