0001231: DEPRECATED: PATCH: 'make source' does not download kernel-headers source.

BusyBox Bug and Patch Tracking

Viewing Issue Simple Details [ Jump to Notes ]

[ View Advanced ] [ Issue History ] [ Print ]

Category

Severity

Reproducibility

Date Submitted

Last Update

0001231

[buildroot] Other

minor

always

02-17-07 16:54

07-07-07 12:02

Reporter

foogod

View Status

public

Assigned To

buildroot

Priority

normal

Resolution

open

Status

assigned

Product Version

Summary

0001231: DEPRECATED: PATCH: 'make source' does not download kernel-headers source.

Description

There is no make dependency connecting the 'source' target to the kernel-headers-source target. Thus, 'make source' does not download the kernel-headers source, and it doesn't actually get downloaded until it comes time to build it.

The attached patch fixes this issue by adding kernel-headers-source as a dependency for uclibc-configured-source.

Additional Information

Attached Files

buildroot.17919.kernel_headers_source.patch [^] (419 bytes) 02-17-07 16:54

Relationships

Notes
(0002257) bernhardf 03-20-07 11:08	What kernel-headers version were you seeing this with? I cannot reproduce the alleged bug that "make source" does not download the kernel-headers-source. Works fine for me with linux-2.6.20. Your proposed fix is inappropriate, IMO. Just make sure that make source groks that your $(TARGETS) contain kernel-headers. Thanks for the report

Issue History
Date Modified	Username	Field	Change
02-17-07 16:54	foogod	New Issue
02-17-07 16:54	foogod	Status	new => assigned
02-17-07 16:54	foogod	Assigned To	=> buildroot
02-17-07 16:54	foogod	File Added: buildroot.17919.kernel_headers_source.patch
03-20-07 11:08	bernhardf	Note Added: 0002257
07-07-07 12:02	bernhardf	Summary	PATCH: 'make source' does not download kernel-headers source. => DEPRECATED: PATCH: 'make source' does not download kernel-headers source.