diff options
author | Marcel Hollerbach <mail@marcel-hollerbach.de> | 2020-06-02 08:11:23 +0200 |
---|---|---|
committer | Marcel Hollerbach <mail@marcel-hollerbach.de> | 2020-06-02 08:11:23 +0200 |
commit | 1a11c9779ef2c4ce5a4a3b44866337ba54f98e09 (patch) | |
tree | b9dd7cf202e3faece8e173ea7197c127735ddf01 | |
parent | 6184bf670fd6ee738585ec215c9a0dc62176659c (diff) | |
download | efl-1a11c9779ef2c4ce5a4a3b44866337ba54f98e09.tar.gz |
ci: fix for rename luajit to lua bindings
this is an incredible hard fix. The rename was essential, and it was
important that the CI was killed for 3 days, the names in this script
was also hidden that deep that litterly *noone* could have ever renamed
them without a daylong hike through the masses of script here.
-rwxr-xr-x | .ci/ci-configure.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.ci/ci-configure.sh b/.ci/ci-configure.sh index 41e63ad24a..6c2e4e9190 100755 --- a/.ci/ci-configure.sh +++ b/.ci/ci-configure.sh @@ -7,7 +7,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=luajit,cxx,mono -Dmono-beta=true" + MONO_LINUX_COPTS=" -Dbindings=lua,cxx,mono -Dmono-beta=true" WAYLAND_LINUX_COPTS=" -Dwl=true -Ddrm=true -Dopengl=es-egl -Dwl-deprecated=true -Ddrm-deprecated=true" @@ -18,7 +18,7 @@ if [ "$DISTRO" != "" ] ; then -Ddebug-threads=true -Dglib=true -Dg-mainloop=true -Dxpresent=true -Dxinput22=true \ -Devas-loaders-disabler=json -Decore-imf-loaders-disabler= \ -Dharfbuzz=true -Dpixman=true -Dhyphen=true \ - -Dvnc-server=true -Dbindings=luajit,cxx,mono -Delogind=false -Dinstall-eo-files=true -Dphysics=true" + -Dvnc-server=true -Dbindings=lua,cxx,mono -Delogind=false -Dinstall-eo-files=true -Dphysics=true" # Enabled png, jpeg evas loader for in tree edje file builds DISABLED_LINUX_COPTS=" -Daudio=false -Davahi=false -Dx11=false -Dphysics=false -Deeze=false \ |