diff options
| -rwxr-xr-x | .ci/ci-configure.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.ci/ci-configure.sh b/.ci/ci-configure.sh index 773e536aa1..d11a51fdde 100755 --- a/.ci/ci-configure.sh +++ b/.ci/ci-configure.sh @@ -38,7 +38,7 @@ if [ "$DISTRO" != "" ] ; then MINGW_COPTS="--cross-file .ci/cross_toolchain.txt -Davahi=false -Deeze=false -Dsystemd=false \ -Dpulseaudio=false -Dx11=false -Dopengl=none -Dlibmount=false \ -Devas-loaders-disabler=json,pdf,ps,raw,svg,rsvg \ - -Dharfbuzz=true -Dpixman=true -Dembedded-lz4=false " + -Dharfbuzz=true -Dpixman=true -Dembedded-lz4=false -Dfribidi=false" if [ "$1" = "default" ]; then OPTS="$OPTS $MONO_LINUX_COPTS" |