diff options
Diffstat (limited to '.ci')
| -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 bd429aea16..22d0f01fe4 100755 --- a/.ci/ci-configure.sh +++ b/.ci/ci-configure.sh @@ -8,7 +8,7 @@ if [ "$DISTRO" != "" ] ; then # Why do we need to disable the imf loaders here? OPTS=" -Decore-imf-loaders-disabler=scim,ibus" - MONO_LINUX_COPTS=" -Dbindings=lua,cxx,mono -Dmono-beta=true" + MONO_LINUX_COPTS=" -Dbindings=cxx,mono -Dmono-beta=true" WAYLAND_LINUX_COPTS=" -Dwl=true -Ddrm=true -Dopengl=es-egl -Dwl-deprecated=true -Ddrm-deprecated=true" |