diff options
| author | Stefan Schmidt <s.schmidt@samsung.com> | 2018-11-19 14:22:10 +0100 |
|---|---|---|
| committer | Stefan Schmidt <s.schmidt@samsung.com> | 2018-11-23 14:20:25 +0100 |
| commit | defded25ebe6d16a675ee968f8fc0f785310ccdf (patch) | |
| tree | b66f62503e57fc2650b385176a8e89d8b63b1aeb /.ci/ci-make-check.sh | |
| parent | c8e0a1d2e2eaa5b8369eeb34a38b3b343788703f (diff) | |
| download | efl-defded25ebe6d16a675ee968f8fc0f785310ccdf.tar.gz | |
travis: merge wayland build into misc and rename to options-enabled
The misc build already had most of the extra options enabled for the EFL
build. Instead of wasting CPU cycles on a full seperate build for just
wayland options we merge these two together. In the process we rename
from misc (pretty vague) to options-enabled and options-disbaled.
Due to the combination of options we need to disable sdl for now. It
clashes with the OpenGL ES option we enable for wayland. Having build
for the different GL flavours is something we should look into at some
point.
Patch is based on the patches from Marcel in D7253 and D7254
Differential Revision: https://phab.enlightenment.org/D7320
Diffstat (limited to '.ci/ci-make-check.sh')
| -rwxr-xr-x | .ci/ci-make-check.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.ci/ci-make-check.sh b/.ci/ci-make-check.sh index 6cbb5433ad..6813ea7c39 100755 --- a/.ci/ci-make-check.sh +++ b/.ci/ci-make-check.sh @@ -10,7 +10,7 @@ if [ "$1" = "mingw" ] ; then fi #T7151 -if [ "$1" = "misc" ] || [ "$1" = "misc-disabled" ] ; then +if [ "$1" = "options-enabled" ] || [ "$1" = "options-disabled" ] ; then exit 0 fi |