From 3fe46db4d27d7f5db6f05d672c6a08b6dee69bc4 Mon Sep 17 00:00:00 2001 From: kettenis <> Date: Sun, 27 Sep 2015 14:52:47 +0000 Subject: [PATCH] Stop installing any header files in /usr/include/dev/pci/drm. Userland should get these from /usr/X11R6/include/libdrm. ok deraadt@ (and suggested by jsg@) --- src/include/Makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/include/Makefile b/src/include/Makefile index 3294990b..07b1e842 100644 --- a/src/include/Makefile +++ b/src/include/Makefile @@ -1,4 +1,4 @@ -# $OpenBSD: Makefile,v 1.205 2015/09/14 08:24:37 guenther Exp $ +# $OpenBSD: Makefile,v 1.206 2015/09/27 14:52:47 kettenis Exp $ # $NetBSD: Makefile,v 1.59 1996/05/15 21:36:43 jtc Exp $ # @(#)Makefile 5.45.1.1 (Berkeley) 5/6/91 @@ -120,7 +120,7 @@ copies: cd ../sys; \ pax -rw -pa -L \ `find ${LDIRS} -follow -type f -name '*.h' '!' \ - '(' -path 'dev/microcode/*' -or -path 'dev/pci/drm/*/*' ')' \ + '(' -path 'dev/microcode/*' -or -path 'dev/pci/drm/*' ')' \ -print` ${DESTDIR}/usr/include cd ${DESTDIR}/usr/include && rm -rf ${MACHINE} ${MACHINE_CPU} machine ${INSTALL} -d -o ${BINOWN} -g ${BINGRP} -m 755 \