summaryrefslogtreecommitdiff
path: root/.ci/ci-make-check.sh
diff options
context:
space:
mode:
authorStefan Schmidt <s.schmidt@samsung.com>2018-11-19 14:22:10 +0100
committerStefan Schmidt <s.schmidt@samsung.com>2018-11-23 14:20:25 +0100
commitdefded25ebe6d16a675ee968f8fc0f785310ccdf (patch)
treeb66f62503e57fc2650b385176a8e89d8b63b1aeb /.ci/ci-make-check.sh
parentc8e0a1d2e2eaa5b8369eeb34a38b3b343788703f (diff)
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.sh2
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
10fi 10fi
11 11
12#T7151 12#T7151
13if [ "$1" = "misc" ] || [ "$1" = "misc-disabled" ] ; then 13if [ "$1" = "options-enabled" ] || [ "$1" = "options-disabled" ] ; then
14 exit 0 14 exit 0
15fi 15fi
16 16