CI: Install libdrm-dev for building (required on Ubuntu)

This commit is contained in:
Michael Panzlaff
2026-05-04 14:09:27 +02:00
parent 34d3d8970e
commit 2a51bd17f3
2 changed files with 3 additions and 3 deletions

View File

@@ -270,7 +270,7 @@ jobs:
- name: Install development packages
run: |
apt update && apt --assume-yes upgrade
apt --assume-yes install build-essential sed git wget bash
apt --assume-yes install build-essential sed git wget bash libdrm-dev
# Checkout git repository and submodules
# fetch-depth must be 0 to use git describe
# See: https://github.com/marketplace/actions/checkout
@@ -321,7 +321,7 @@ jobs:
- name: Install development packages
run: |
apt update && apt --assume-yes upgrade
apt --assume-yes install build-essential sed git wget bash
apt --assume-yes install build-essential sed git wget bash libdrm-dev
# Checkout git repository and submodules
# fetch-depth must be 0 to use git describe
# See: https://github.com/marketplace/actions/checkout