[packages/VirtualBox.git] / VirtualBox-kerndir.patch

--- VirtualBox-5.2.2/src/VBox/Installer/linux/Makefile.include.header.orig	2017-11-25 14:42:43.336204931 +0100
+++ VirtualBox-5.2.2/src/VBox/Installer/linux/Makefile.include.header	2017-11-25 14:43:00.666146939 +0100
@@ -136,7 +136,7 @@
 endif # neq($(KERNELRELEASE),)
 
 # Kernel build folder
-KERN_DIR := /lib/modules/$(KERN_VER)/build
+KERN_DIR ?= /lib/modules/$(KERN_VER)/build
 ifneq ($(shell if test -d $(KERN_DIR); then echo yes; fi),yes)
  $(error Error: unable to find the headers of the Linux kernel to build against. \
           Specify KERN_VER=<version> (currently $(KERN_VER)) and run Make again)
Commit	Line	Data
07fc1266 JP	1	--- VirtualBox-5.2.2/src/VBox/Installer/linux/Makefile.include.header.orig 2017-11-25 14:42:43.336204931 +0100
	2	+++ VirtualBox-5.2.2/src/VBox/Installer/linux/Makefile.include.header 2017-11-25 14:43:00.666146939 +0100
	3	@@ -136,7 +136,7 @@
	4	endif # neq($(KERNELRELEASE),)
	5
	6	# Kernel build folder
	7	-KERN_DIR := /lib/modules/$(KERN_VER)/build
	8	+KERN_DIR ?= /lib/modules/$(KERN_VER)/build
	9	ifneq ($(shell if test -d $(KERN_DIR); then echo yes; fi),yes)
	10	$(error Error: unable to find the headers of the Linux kernel to build against. \
	11	Specify KERN_VER=<version> (currently $(KERN_VER)) and run Make again)