Ticket #12735: VBox-uapi_version_h.2.diff

Makefile.kmk

@@ -1666 +1666 @@
 sdk-fetch:
         + $(KMK) VBOX_ONLY_SDK=1 -C tools
 
+
+bla:
+        echo PATH_TARGET: $(PATH_TARGET)

src/VBox/Installer/linux/Makefile.include.header

@@ -109 +109 @@
 
  # includes
  ifndef KERN_INCL
-  KERN_INCL = $(KERN_DIR)/include
+  ifeq ($(shell if test -d $(KERN_DIR)/include/generated/uapi; then echo yes; fi),yes)
+    KERN_INCL = $(KERN_DIR)/include/generated/uapi
+  else
+    KERN_INCL = $(KERN_DIR)/include
+  endif
  endif
  ifneq ($(shell if test -d $(KERN_INCL); then echo yes; fi),yes)
   $(error Error: unable to find the include directory for your current Linux \