shithub: dav1d

Download patch

ref: 7c43a766dbd5a7383ee7651665bed28b3dfa0df1
parent: e68f19e8c66c268724e04a2f9f6754e2850adacd
author: Hugo Beauzée-Luyssen <hugo@videolan.org>
date: Thu Sep 27 10:49:31 EDT 2018 

gitlab-ci: Use a newer image with -static-libgcc


--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -2,7 +2,7 @@
     - build
 
 build-debian:
-    image: registry.videolan.org:5000/dav1d-debian-unstable:20180925152615
+    image: registry.videolan.org:5000/dav1d-debian-unstable:20180927123816
     stage: build
     tags:
         - debian
@@ -13,7 +13,7 @@
         - ninja -v -C build
 
 build-win32:
-    image: registry.videolan.org:5000/dav1d-debian-unstable:20180925152615
+    image: registry.videolan.org:5000/dav1d-debian-unstable:20180927123816
     stage: build
     tags:
         - win32
@@ -23,7 +23,7 @@
         - ninja -v -C build
 
 build-win64:
-    image: registry.videolan.org:5000/dav1d-debian-unstable:20180925152615
+    image: registry.videolan.org:5000/dav1d-debian-unstable:20180927123816
     stage: build
     tags:
         - win64