equal
deleted
inserted
replaced
9 # Default build. Release. |
9 # Default build. Release. |
10 - BUILD_ARGS="-DCMAKE_BUILD_TYPE=Release" |
10 - BUILD_ARGS="-DCMAKE_BUILD_TYPE=Release" |
11 # Debug build |
11 # Debug build |
12 - BUILD_ARGS="-DCMAKE_BUILD_TYPE=Debug" |
12 - BUILD_ARGS="-DCMAKE_BUILD_TYPE=Debug" |
13 # Everything that's optional |
13 # Everything that's optional |
14 - BUILD_ARGS="-NOPNG=1" |
14 - BUILD_ARGS="-DNOPNG=1" |
15 - BUILD_ARGS="-NOVIDEOREC=1" |
15 - BUILD_ARGS="-DNOVIDEOREC=1" |
16 - BUILD_ARGS="-NOSERVER=1" |
16 - BUILD_ARGS="-DNOSERVER=1" |
17 - BUILD_ARGS="-LUA_SYSTEM=0" |
17 - BUILD_ARGS="-DLUA_SYSTEM=0" |
|
18 - BUILD_ARGS="-DPHYSFS_SYSTEM=0" |
18 matrix: |
19 matrix: |
19 allow_failures: |
20 allow_failures: |
20 # Failures we expect here |
21 # Failures we expect here |
21 before_install: |
22 before_install: |
22 - sudo apt-get update -qq |
23 - sudo apt-get update -qq |