[riot-commits] [RIOT-OS/RIOT] ae4cec: tools/doccheck: Detect when `make doc` fails to ru...

Juan I Carrano juan at carrano.com.ar
Thu Nov 29 18:37:16 CET 2018


  Branch: refs/heads/master
  Home:   https://github.com/RIOT-OS/RIOT
  Commit: ae4cecd14c36f7bf68a5357727e5874822bebe60
      https://github.com/RIOT-OS/RIOT/commit/ae4cecd14c36f7bf68a5357727e5874822bebe60
  Author: Juan Carrano <j.carrano at fu-berlin.de>
  Date:   2018-11-22 (Thu, 22 Nov 2018)

  Changed paths:
    M dist/tools/doccheck/check.sh

  Log Message:
  -----------
  tools/doccheck: Detect when `make doc` fails to run.

The previous doccheck would give a false negative when doxygen does
not even run (for example, because of misconfiguration).

Also, when doxygen fails to run, print the full output.


  Commit: f4e810cfff3cdb92e26e76fd76d2a33ff24e5575
      https://github.com/RIOT-OS/RIOT/commit/f4e810cfff3cdb92e26e76fd76d2a33ff24e5575
  Author: Juan I Carrano <juan at carrano.com.ar>
  Date:   2018-11-29 (Thu, 29 Nov 2018)

  Changed paths:
    M dist/tools/doccheck/check.sh

  Log Message:
  -----------
  Merge pull request #9819 from jcarrano/doccheck-report-total-failure

tools/doccheck: Detect when `make doc` fails to run.


Compare: https://github.com/RIOT-OS/RIOT/compare/cb852285848c...f4e810cfff3c
      **NOTE:** This service has been marked for deprecation: https://developer.github.com/changes/2018-04-25-github-services-deprecation/

      Functionality will be removed from GitHub.com on January 31st, 2019.


More information about the commits mailing list