diff options
-rw-r--r-- | debian/rules.d/2-binary-arch.mk | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/debian/rules.d/2-binary-arch.mk b/debian/rules.d/2-binary-arch.mk index e956b1ab5b1..33394b69b77 100644 --- a/debian/rules.d/2-binary-arch.mk +++ b/debian/rules.d/2-binary-arch.mk @@ -225,6 +225,8 @@ else cp -a drivers/media/dvb/dvb-core/*.h $(hdrdir)/drivers/media/dvb/dvb-core cp -a drivers/media/video/*.h $(hdrdir)/drivers/media/video cp -a drivers/media/dvb/frontends/*.h $(hdrdir)/drivers/media/dvb/frontends + cp -a drivers/staging/omapdrm/omap_drv.h $(hdrdir)/drivers/staging/omapdrm + cp -a drivers/staging/omapdrm/omap_drm.h $(hdrdir)/drivers/staging/omapdrm cp -a scripts include $(hdrdir) (find arch -name include -type d -print | \ xargs -n1 -i: find : -type f) | \ |