diff options
| author | Dave Airlie <airlied@linux.ie> | 2004-04-21 12:13:31 +0000 |
|---|---|---|
| committer | Dave Airlie <airlied@linux.ie> | 2004-04-21 12:13:31 +0000 |
| commit | 93bd67ef62e95a32f8b7e2fd7d9dadee52664160 (patch) | |
| tree | 529b54bcdcfd364d6bc25cabf38999b465dadd80 /linux/Makefile | |
| parent | 0f32a8852712e405f64c5917bcebefc441aa1ba3 (diff) | |
centralise pci ids into one place and use scripts to generate files for
kernel
Diffstat (limited to 'linux/Makefile')
| -rw-r--r-- | linux/Makefile | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/linux/Makefile b/linux/Makefile index b1758884..dc21459a 100644 --- a/linux/Makefile +++ b/linux/Makefile @@ -208,7 +208,10 @@ SHAREDDIR := ../shared HASSHARED := $(shell if [ -d $(SHAREDDIR) ]; then echo y; fi) ifeq ($(HASSHARED),y) -includes:: $(SHAREDSRC) +includes:: $(SHAREDSRC) drm_pciids.h + +drm_pciids.h: $(SHAREDDIR)/drm_pciids.txt + sh ../scripts/create_linux_pci_lists.sh < $(SHAREDDIR)/drm_pciids.txt $(SHAREDSRC): @if [ -r $(SHAREDDIR)/$@ ]; then \ |