Commit 0ed2eaaab904deb2d492acd273f2ce1a36d687f6
1 parent
6ad99b36dc
Exists in
master
Makefile.defs: add choice for kernelheaders
Showing 1 changed file with 2 additions and 0 deletions Side-by-side Diff
Makefile.defs
| ... | ... | @@ -7,6 +7,7 @@ |
| 7 | 7 | # kernel |
| 8 | 8 | kernelnvidia = kernel-$(KERNEL_EXTRAVER)-nongpl-nvidia |
| 9 | 9 | kernelsound = kernel-$(KERNEL_EXTRAVER)-sound |
| 10 | +kernelheaders = kernel-$(KERNEL_EXTRAVER)-headers | |
| 10 | 11 | # FIXME: r8101 is a ethernet driver but virtual requirement is called kernelwireless |
| 11 | 12 | kernelwireless = kernel-$(KERNEL_EXTRAVER)-wireless kernel-$(KERNEL_EXTRAVER)-nongpl-wl kernel-$(KERNEL_EXTRAVER)-r8101 |
| 12 | 13 | kernelsound-$(KERNEL_EXTRAVER) = kernel-$(KERNEL_EXTRAVER)-sound |
| ... | ... | @@ -31,6 +32,7 @@ |
| 31 | 32 | kernelnvidia += kernel-$(KERNEL_MORE_EXTRAVER)-nongpl-nvidia |
| 32 | 33 | # kernel-$(KERNEL_MORE_EXTRAVER)-nongpl-nvidia_71xx kernel-$(KERNEL_MORE_EXTRAVER)-nongpl-nvidia_96xx |
| 33 | 34 | kernelsound += kernel-$(KERNEL_MORE_EXTRAVER)-sound |
| 35 | +kernelheaders += kernel-$(KERNEL_MORE_EXTRAVER)-headers | |
| 34 | 36 | kernelwireless += kernel-$(KERNEL_MORE_EXTRAVER)-wireless kernel-$(KERNEL_MORE_EXTRAVER)-nongpl-wl kernel-$(KERNEL_MORE_EXTRAVER)-r8101 |
| 35 | 37 | kernelsound-$(KERNEL_MORE_EXTRAVER) += kernel-$(KERNEL_MORE_EXTRAVER)-sound |
| 36 | 38 | kernelwireless-$(KERNEL_MORE_EXTRAVER) += kernel-$(KERNEL_MORE_EXTRAVER)-wireless kernel-$(KERNEL_MORE_EXTRAVER)-nongpl-wl kernel-$(KERNEL_MORE_EXTRAVER)-r8101 |