Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/videolan/dav1d.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJanne Grunau <janne-vlc@jannau.net>2021-01-20 23:12:11 +0300
committerJanne Grunau <janne-vlc@jannau.net>2021-01-20 23:15:40 +0300
commitdd32acea9dbc801ac3bfea94ad7cef29e0596ac9 (patch)
tree9f8c8e3a8097997681047dd8295bcb8aeedd7427 /.gitlab-ci.yml
parent11cb2efa84281cbdb5c6f388b662a12c1b57fc1a (diff)
build: unbreak '-Denable_tools=false' build and add CI
oss-fuzz uses '-Denable_tools=false'.
Diffstat (limited to '.gitlab-ci.yml')
-rw-r--r--.gitlab-ci.yml8
1 files changed, 8 insertions, 0 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 039ecc1..db8fefd 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -139,6 +139,14 @@ build-debian-examples:
-Denable_examples=true
- ninja -C build
+build-debian-no-tools:
+ extends: .debian-amd64-common
+ script:
+ - meson build --buildtype release
+ --werror
+ -Denable_tools=false
+ - ninja -C build
+
build-win32:
extends: .debian-amd64-common
script: