reproducibility: introduce config knob
commit71574a65e80d04db193432a7525eb49f1acdf614
authorGilles Chanteperdrix <gilles.chanteperdrix@xenomai.org>
Tue, 14 Jun 2016 15:31:09 +0000 (14 17:31 +0200)
committerPeter Korsgaard <peter@korsgaard.com>
Sat, 2 Jul 2016 10:00:24 +0000 (2 12:00 +0200)
tree8cbc580083271b78756f031a33b1700e639ebd26
parent6c169fe616f4e069f8cee20f1c206fa0b39ff48a
reproducibility: introduce config knob

Making the builds reproducible involves turning off build timestamps,
which some users may find annoying. So make the reproducible builds
optional.

Signed-off-by: Gilles Chanteperdrix <gilles.chanteperdrix@xenomai.org>
Acked-by: "Yann E. MORIN" <yann.morin.1998@free.fr>
Signed-off-by: Peter Korsgaard <peter@korsgaard.com>
Config.in