On 07/01/2019 14:43, Joel Sherrill wrote:
We need some indication for automated builds on RTEMS.org that the server actually did build something. The script that builds the docs on the server should create a file and put the build time in it.
Built something is good, but built the right thing is better. I would like to replace the date with a Git commit hash.
-- Sebastian Huber, embedded brains GmbH Address : Dornierstr. 4, D-82178 Puchheim, Germany Phone : +49 89 189 47 41-16 Fax : +49 89 189 47 41-09 E-Mail : sebastian.hu...@embedded-brains.de PGP : Public key available on request. Diese Nachricht ist keine geschäftliche Mitteilung im Sinne des EHUG. _______________________________________________ devel mailing list devel@rtems.org http://lists.rtems.org/mailman/listinfo/devel
