On 01/03/2019 02:10, Chris Johns wrote:
What happens if you do not have doxygen 1.8.14? Our server, sync.rtems.org, is on 1.8.13.
I updated the patch to use 1.8.15 and tested 1.8.13 and 1.8.14. I don't find any issues.
-- 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