diff options
| author | Jordan Petridis <jordan@centricular.com> | 2022-01-12 23:24:22 +0300 |
|---|---|---|
| committer | Jordan Petridis <jordan@centricular.com> | 2022-01-12 23:24:22 +0300 |
| commit | f78b97ba4aeb5274d7f081d123790806afdf3c2b (patch) | |
| tree | c944d1aa2fb871ae05ebf85087116071126c47cd /ci | |
| parent | 81f5f0f60cf9f30c151add697da52a84b689fe12 (diff) | |
ci: stop installing gtk4 manually
It's now included in the base image we use.
https://gitlab.freedesktop.org/gstreamer/gstreamer-rs/-/merge_requests/942
Diffstat (limited to 'ci')
| -rw-r--r-- | ci/install-gtk4.sh | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/ci/install-gtk4.sh b/ci/install-gtk4.sh deleted file mode 100644 index 0fee20d70..000000000 --- a/ci/install-gtk4.sh +++ /dev/null @@ -1,10 +0,0 @@ -set -eux - -BRANCH=gtk-4-4 - -git clone https://gitlab.gnome.org/GNOME/gtk.git --branch $BRANCH --depth=1 -cd gtk -meson build -D prefix=/usr/local -ninja -C build -ninja -C build install -cd .. |