> On 7 Jan 2019, at 10:03 pm, Sebastian Huber > <sebastian.hu...@embedded-brains.de> wrote: > > The usage of a build date prevents reproducible builds.
-1 I prefer a build date being present. For unreleased it marks the online builds and for releases it tags the day built. I have never seen this being a requirement for docs output. What drives the need for this? Chris _______________________________________________ devel mailing list devel@rtems.org http://lists.rtems.org/mailman/listinfo/devel
