summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorStefan Schmidt <s.schmidt@samsung.com>2020-01-28 11:12:14 +0100
committerStefan Schmidt <s.schmidt@samsung.com>2020-01-28 11:12:14 +0100
commit69698359a67f40a2d9a685e1a2da5957b0d9836d (patch)
tree458104bfa3f28a6b48c756a4c07963160c915cd2
parenta473711b9a1dbce3af010796ebc13ac3d8f62180 (diff)
-rwxr-xr-x.ci/ci-configure.sh2
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
38 MINGW_COPTS="--cross-file .ci/cross_toolchain.txt -Davahi=false -Deeze=false -Dsystemd=false \ 38 MINGW_COPTS="--cross-file .ci/cross_toolchain.txt -Davahi=false -Deeze=false -Dsystemd=false \
39 -Dpulseaudio=false -Dx11=false -Dopengl=none -Dlibmount=false \ 39 -Dpulseaudio=false -Dx11=false -Dopengl=none -Dlibmount=false \
40 -Devas-loaders-disabler=json,pdf,ps,raw,svg,rsvg \ 40 -Devas-loaders-disabler=json,pdf,ps,raw,svg,rsvg \
41 -Dharfbuzz=true -Dpixman=true -Dembedded-lz4=false " 41 -Dharfbuzz=true -Dpixman=true -Dembedded-lz4=false -Dfribidi=false"
42 42
43 if [ "$1" = "default" ]; then 43 if [ "$1" = "default" ]; then
44 OPTS="$OPTS $MONO_LINUX_COPTS" 44 OPTS="$OPTS $MONO_LINUX_COPTS"