# HG changeset patch
# User John D
# Date 1512480286 18000
# Node ID dd9b5bc0a918ecdaa212d0a93b08db055d8504fa
# Parent  7585d967961a9ac5762f2ff2a3bc386af8bc4783
libdrm: update to v2.4.88

* src/libdrm.mk: update version, checksum

diff -r 7585d967961a -r dd9b5bc0a918 src/libdrm.mk
--- a/src/libdrm.mk	Tue Dec 05 08:08:11 2017 -0500
+++ b/src/libdrm.mk	Tue Dec 05 08:24:46 2017 -0500
@@ -3,8 +3,8 @@
 
 PKG             := libdrm
 $(PKG)_IGNORE   :=
-$(PKG)_VERSION  := 2.4.83
-$(PKG)_CHECKSUM := b80228d235805e46f0d8e62ab1f7231ebd2fd67e
+$(PKG)_VERSION  := 2.4.88
+$(PKG)_CHECKSUM := 4c187a55ce622c623491c6f873fc672a96b60a15
 $(PKG)_SUBDIR   := libdrm-$($(PKG)_VERSION)
 $(PKG)_FILE     := libdrm-$($(PKG)_VERSION).tar.gz
 $(PKG)_URL      := https://dri.freedesktop.org/libdrm/$($(PKG)_FILE)
@@ -12,7 +12,7 @@
 
 define $(PKG)_UPDATE
     $(WGET) -q -O- 'https://dri.freedesktop.org/libdrm/' | \
-    $(SED) -n s|.*libdrm-\([0-9\.]*\)\.tar.*|\1|p' | $(SORT) -V | \
+    $(SED) -n 's|.*libdrm-\([0-9\.]*\)\.tar.*|\1|p' | $(SORT) -V | \
     tail -1
 endef