archlinuxarm/PKGBUILDs — pull request #1049 by alexeicolin (2014-12-29 04:42:37+00:00)
Title: linux-odroid: make header packaging robust to any kernel config

**Package**: linux-odroid (linux-headers-odroid)
**Architecture**: armv7h
**Device**: Hardkernel Odroid U3 (also affected X, X2)

**What it isn't doing**: Packaging script fails to build the `linux-headers-odroid` package when the script is re-used to package a kernel built with a customized configuration. That is, in the case when PKGBUILD is unchanged except for the kernel config file it uses. The failure is because it is trying to move some headers that don't exist.
**What it should be doing**: The packaging script should be robust enough to build and package up a kernel with a customized config.

**Steps to reproduce:** Try `makepkg` on `linux-odroid` after modifying the kernel config file to exclude a bunch of drivers.

**Solution**: Perform the packaging commands that apply to particular headers only if those headers actually exist.

This patch does not change the resulting package from what it is now at all, hence did not bump the package version.