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 <