← Back to team overview

kernel-packages team mailing list archive

[Bug 1481723] Re: can not build kernel image from source package


** Changed in: linux (Ubuntu)
   Importance: Undecided => Medium

You received this bug notification because you are a member of Kernel
Packages, which is subscribed to linux in Ubuntu.

  can not build kernel image from source package

Status in linux package in Ubuntu:

Bug description:

  on Ubuntu 15.04 I am trying to build a kernel from its sourcepackage
  like this:

  export DEBIAN_FRONTEND=noninteractive
  apt-get update && apt-get -y install kernel-package build-essential
  apt-get -y build-dep $latest && apt-get source $latest
  yes "" | make-kpkg --initrd --append-to-version=test kernel_image kernel_headers kernel_source

  After a while, the compilation process reports a missing header file:

    CC [M]  ubuntu/vbox/vboxguest/VBoxGuest-linux.o
  In file included from <command-line>:0:0:
  ././include/linux/kconfig.h:46:1: fatal error: ./ubuntu/vbox/vboxguest/include/VBox/VBoxGuestMangling.h: No such file or directory
   #endif /* __LINUX_KCONFIG_H */
  compilation terminated.
  scripts/Makefile.build:257: recipe for target 'ubuntu/vbox/vboxguest/VBoxGuest-linux.o' failed
  make[4]: *** [ubuntu/vbox/vboxguest/VBoxGuest-linux.o] Error 1
  scripts/Makefile.build:402: recipe for target 'ubuntu/vbox/vboxguest' failed
  make[3]: *** [ubuntu/vbox/vboxguest] Error 2
  scripts/Makefile.build:402: recipe for target 'ubuntu/vbox' failed
  make[2]: *** [ubuntu/vbox] Error 2
  Makefile:949: recipe for target 'ubuntu' failed
  make[1]: *** [ubuntu] Error 2

  There is a VBoxGuestMangling.h somewhere else in the code-tree, and I've tried symlinking it, but then I just run into
  another compile-error later on.
  I was under the impression that Ubuntu used its own source packages to produce the kernel images, but now I am not so sure.

  -- Steven

To manage notifications about this bug go to: