#!/bin/bash
-HV_NO_CONFIGURE_SCRIPT=1
-
hvbuild()
{
- # The kernel sources were already copied into /usr/src in stage0
+ # Check if kernel sources from stage0 are still in /usr/src.
+ # If not, recopy them.
+ if [ ! -d /usr/src/${PACKAGE} ]; then
+ cp -a ${LFS_TMP}/${PACKAGE} /usr/src
+ fi
+
+ # Install headers
cd /usr/src/${PACKAGE}
make mrproper
make headers_check