Commit 3a7a0a70 authored by Thomas De Schampheleire's avatar Thomas De Schampheleire Committed by Thomas Petazzoni
Browse files

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: default avatarThomas De Schampheleire <thomas.de.schampheleire@gmail.com>
Acked-by: default avatarArnout Vandecappelle (Essensium/Mind) <arnout@mind.be>
Signed-off-by: default avatarThomas Petazzoni <thomas.petazzoni@free-electrons.com>
parent 5053786f

linux/Config.in

+0 −1
Original line number Diff line number Diff line
@@ -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,