URI: 
       tdisable installation of kernel headers - arm-sdk - os build toolkit for various embedded devices
  HTML git clone https://git.parazyd.org/arm-sdk
   DIR Log
   DIR Files
   DIR Refs
   DIR Submodules
   DIR README
   DIR LICENSE
       ---
   DIR commit 1295b0c021c52faecf94f6c9e79e48dd70cf0f38
   DIR parent 0fcd5de077b665f7b8f879e469a12082770b6546
  HTML Author: parazyd <parazyd@dyne.org>
       Date:   Wed, 29 Nov 2017 13:57:17 +0100
       
       disable installation of kernel headers
       
       Diffstat:
         M boards/nokia-n900.sh                |      14 +++++++-------
         M boards/ouya.sh                      |       1 +
         M boards/raspberry-pi1.sh             |      14 +++++++-------
         M boards/raspberry-pi2.sh             |      14 +++++++-------
         M boards/raspberry-pi3.sh             |      14 +++++++-------
         M boards/sunxi.sh                     |      14 +++++++-------
       
       6 files changed, 36 insertions(+), 35 deletions(-)
       ---
   DIR diff --git a/boards/nokia-n900.sh b/boards/nokia-n900.sh
       t@@ -98,13 +98,13 @@ build_kernel_armel() {
                                        modules_install || zerr
        
                # install kernel headers
       -        sudo -E PATH="$PATH" \
       -                make \
       -                        $MAKEOPTS \
       -                        ARCH=arm \
       -                        CROSS_COMPILE=$compiler \
       -                        INSTALL_HDR_PATH=$strapdir/usr \
       -                                headers_install || zerr
       +        #sudo -E PATH="$PATH" \
       +        #        make \
       +        #                $MAKEOPTS \
       +        #                ARCH=arm \
       +        #                CROSS_COMPILE=$compiler \
       +        #                INSTALL_HDR_PATH=$strapdir/usr \
       +        #                        headers_install || zerr
        
                # install kernel firmware
                sudo -E PATH="$PATH" \
   DIR diff --git a/boards/ouya.sh b/boards/ouya.sh
       t@@ -104,6 +104,7 @@ build_kernel_armhf() {
                # http://tuomas.kulve.fi/blog/2013/09/12/debian-on-ouya-all-systems-go/     #
                #############################################################################
        EOM
       +        sleep 5
        
                postbuild || zerr
        }
   DIR diff --git a/boards/raspberry-pi1.sh b/boards/raspberry-pi1.sh
       t@@ -103,13 +103,13 @@ build_kernel_armel() {
                                                modules_install || zerr
        
                        # install kernel headers
       -                sudo -E PATH="$PATH" \
       -                        make \
       -                                $MAKEOPTS \
       -                                ARCH=arm \
       -                                CROSS_COMPILE=$compiler \
       -                                INSTALL_HDR_PATH=$strapdir/usr \
       -                                        headers_install || zerr
       +                #sudo -E PATH="$PATH" \
       +                #        make \
       +                #                $MAKEOPTS \
       +                #                ARCH=arm \
       +                #                CROSS_COMPILE=$compiler \
       +                #                INSTALL_HDR_PATH=$strapdir/usr \
       +                #                        headers_install || zerr
        
                        # install kernel firmware
                        sudo -E PATH="$PATH" \
   DIR diff --git a/boards/raspberry-pi2.sh b/boards/raspberry-pi2.sh
       t@@ -103,13 +103,13 @@ build_kernel_armhf() {
                                                modules_install || zerr
        
                        # install kernel headers
       -                sudo -E PATH="$PATH" \
       -                        make \
       -                                $MAKEOPTS \
       -                                ARCH=arm \
       -                                CROSS_COMPILE=$compiler \
       -                                ISNTALL_HDR_PATH=$strapdir/usr \
       -                                        headers_install || zerr
       +                #sudo -E PATH="$PATH" \
       +                #        make \
       +                #                $MAKEOPTS \
       +                #                ARCH=arm \
       +                #                CROSS_COMPILE=$compiler \
       +                #                INSTALL_HDR_PATH=$strapdir/usr \
       +                #                        headers_install || zerr
        
                        # install kernel firmware
                        sudo -E PATH="$PATH" \
   DIR diff --git a/boards/raspberry-pi3.sh b/boards/raspberry-pi3.sh
       t@@ -103,13 +103,13 @@ build_kernel_arm64() {
                                                modules_install || zerr
        
                        # install kernel headers
       -                sudo -E PATH="$PATH" \
       -                        make \
       -                                $MAKEOPTS \
       -                                ARCH=arm64 \
       -                                CROSS_COMPILE=$compiler \
       -                                INSTALL_HDR_PATH=$strapdir/usr \
       -                                        headers_install || zerr
       +                #sudo -E PATH="$PATH" \
       +                #        make \
       +                #                $MAKEOPTS \
       +                #                ARCH=arm64 \
       +                #                CROSS_COMPILE=$compiler \
       +                #                INSTALL_HDR_PATH=$strapdir/usr \
       +                #                        headers_install || zerr
        
                        # install kernel firmware
                        sudo -E PATH="$PATH" \
   DIR diff --git a/boards/sunxi.sh b/boards/sunxi.sh
       t@@ -132,13 +132,13 @@ build_kernel_armhf() {
                                                modules_install || zerr
        
                        # install kernel headers
       -                sudo -E PATH="$PATH" \
       -                        make \
       -                                $MAKEOPTS \
       -                                ARCH=arm \
       -                                CROSS_COMPILE=$compiler \
       -                                INSTALL_HDR_PATH=$strapdir/usr \
       -                                        headers_install || zerr
       +                #sudo -E PATH="$PATH" \
       +                #        make \
       +                #                $MAKEOPTS \
       +                #                ARCH=arm \
       +                #                CROSS_COMPILE=$compiler \
       +                #                INSTALL_HDR_PATH=$strapdir/usr \
       +                #                        headers_install || zerr
        
                sudo cp -v arch/arm/boot/zImage $strapdir/boot/ || zerr
                        sudo mkdir -p $strapdir/boot/dtbs