diff options
| author | Jordan Petridis <jordan@centricular.com> | 2022-05-10 12:31:20 +0300 |
|---|---|---|
| committer | Jordan Petridis <jordan@centricular.com> | 2022-05-10 12:34:03 +0300 |
| commit | a4aa45d27f03434bc40c41b96f473c0e8a481c22 (patch) | |
| tree | fa18c5bd7401aae273e1a15327e9b55eedb23e48 /ci | |
| parent | ce50a3003cf12f2eb78f8c1d70051b92e04b9ccd (diff) | |
ci: remove the david checkot after install
Makes the docker image slightly smaller
Diffstat (limited to 'ci')
| -rw-r--r-- | ci/install-dav1d.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ci/install-dav1d.sh b/ci/install-dav1d.sh index 66c32a7e..381b4498 100644 --- a/ci/install-dav1d.sh +++ b/ci/install-dav1d.sh @@ -8,3 +8,4 @@ meson build -D prefix=/usr/local ninja -C build ninja -C build install cd .. +rm -rf dav1d |