Skip to content
GitLab
Projects Groups Snippets
  • /
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in / Register
  • wlroots wlroots
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
  • Issues 327
    • Issues 327
    • List
    • Boards
    • Service Desk
    • Milestones
  • Merge requests 129
    • Merge requests 129
  • CI/CD
    • CI/CD
    • Pipelines
    • Jobs
    • Schedules
  • Deployments
    • Deployments
    • Releases
  • Analytics
    • Analytics
    • Value stream
    • CI/CD
    • Repository
  • Wiki
    • Wiki
  • Activity
  • Graph
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
Collapse sidebar
  • wlrootswlroots
  • wlrootswlroots
  • Merge requests
  • !3885

build: exclude <wlr/types/wlr_drm_lease_v1.h> without DRM backend

  • Review changes

  • Download
  • Email patches
  • Plain diff
Merged Simon Ser requested to merge emersion/wlroots:excl-drm-lease-header into master Nov 26, 2022
  • Overview 1
  • Commits 1
  • Pipelines 2
  • Changes 1

When the DRM backend is disabled, so is the DRM lease protocol. Prevent the header from being installed in that case.

Assignee
Assign to
Reviewers
Request review from
Time tracking
Source branch: excl-drm-lease-header