diff options
| author | Denis Vlasenko <vda.linux@googlemail.com> | 2009-04-18 23:45:13 +0000 |
|---|---|---|
| committer | Denis Vlasenko <vda.linux@googlemail.com> | 2009-04-18 23:45:13 +0000 |
| commit | 56ecf3ceca20ba5b1f41f9deba0134112b59f961 (patch) | |
| tree | 6fa111db48910ab41f87e96fd1eb921c6bb417a3 | |
| parent | ac1087a727a472804dc929a35b140407b7e38472 (diff) | |
install_kernel_headers: comment out copying of extra directories,
this seem to be not needed
| -rwxr-xr-x | extra/scripts/install_kernel_headers.sh | 20 |
1 files changed, 11 insertions, 9 deletions
diff --git a/extra/scripts/install_kernel_headers.sh b/extra/scripts/install_kernel_headers.sh index e49403a96..50797b925 100755 --- a/extra/scripts/install_kernel_headers.sh +++ b/extra/scripts/install_kernel_headers.sh @@ -60,15 +60,17 @@ if test "`(cd "$KERNEL_HEADERS"; env pwd)`" != "`(cd "$2"; env pwd)`"; then die_if_not_dir "$2/asm-generic" cp -RHL "$KERNEL_HEADERS/asm-generic"/* "$2/asm-generic" || exit 1 fi - # For paranoid reasons, we use explicit list of directories - # which may be here. List last updated for linux-2.6.27: - for dir in drm mtd rdma sound video; do - if test -d "$KERNEL_HEADERS/$dir"; then - mkdir -p "$2/$dir" 2>/dev/null - die_if_not_dir "$2/$dir" - cp -RHL "$KERNEL_HEADERS/$dir"/* "$2/$dir" || exit 1 - fi - done +## vda: looks like I was fooled by two mtd directories existing +## in include/ and include/linux/. This seems to be not needed. +## # For paranoid reasons, we use explicit list of directories +## # which may be here. List last updated for linux-2.6.27: +## for dir in drm mtd rdma sound video; do +## if test -d "$KERNEL_HEADERS/$dir"; then +## mkdir -p "$2/$dir" 2>/dev/null +## die_if_not_dir "$2/$dir" +## cp -RHL "$KERNEL_HEADERS/$dir"/* "$2/$dir" || exit 1 +## fi +## done if ! test -f "$2/linux/version.h"; then echo "Warning: '$KERNEL_HEADERS/linux/version.h' is not found" echo "in kernel headers directory specified in .config." |