diff options
| author | Thomas De Schampheleire <patrickdepinguin+buildroot@gmail.com> | 2013-07-24 07:22:59 (GMT) |
|---|---|---|
| committer | Thomas Petazzoni <thomas.petazzoni@free-electrons.com> | 2013-08-13 09:59:57 (GMT) |
| commit | 3a7a0a707be0f0a4b115990ce704a730b85ee3e4 (patch) | |
| tree | 13e87f0b0246364c721770b7d52159af773fd4a7 | |
| parent | 5053786f9f4b799b97672dbb8cfadf4ceb8ccece (diff) | |
| download | buildroot-3a7a0a707be0f0a4b115990ce704a730b85ee3e4.tar.gz buildroot-3a7a0a707be0f0a4b115990ce704a730b85ee3e4.tar.bz2 | |
linux: don't take HEAD as default for git repositories
Specifying a floating tag like HEAD for a repository version is bad practice,
as it results in non-reproducible builds. This patch removes the default
assignment of HEAD as version when a custom git repository is used for the
Linux kernel.
Signed-off-by: Thomas De Schampheleire <thomas.de.schampheleire@gmail.com>
Acked-by: Arnout Vandecappelle (Essensium/Mind) <arnout@mind.be>
Signed-off-by: Thomas Petazzoni <thomas.petazzoni@free-electrons.com>
| -rw-r--r-- | linux/Config.in | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/linux/Config.in b/linux/Config.in index 065696a..f6acddf 100644 --- a/linux/Config.in +++ b/linux/Config.in @@ -68,7 +68,6 @@ config BR2_LINUX_KERNEL_CUSTOM_GIT_REPO_URL config BR2_LINUX_KERNEL_CUSTOM_GIT_VERSION string "Custom Git version" - default "HEAD" depends on BR2_LINUX_KERNEL_CUSTOM_GIT help Git revision to use in the format used by git rev-parse, |