[riot-commits] [RIOT-OS/RIOT] 187661: tools/doccheck: add check for multiple group defin...

Martine Lenders noreply at github.com
Thu Aug 8 19:57:30 CEST 2019


  Branch: refs/heads/master
  Home:   https://github.com/RIOT-OS/RIOT
  Commit: 1876619bf9ee43580db5c24aeb82b3d8c40034e1
      https://github.com/RIOT-OS/RIOT/commit/1876619bf9ee43580db5c24aeb82b3d8c40034e1
  Author: Alexandre Abadie <alexandre.abadie at inria.fr>
  Date:   2019-08-07 (Wed, 07 Aug 2019)

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

  Log Message:
  -----------
  tools/doccheck: add check for multiple group definition


  Commit: 583707515023bc674814ef5a8c35595b5e9008e7
      https://github.com/RIOT-OS/RIOT/commit/583707515023bc674814ef5a8c35595b5e9008e7
  Author: Alexandre Abadie <alexandre.abadie at inria.fr>
  Date:   2019-08-07 (Wed, 07 Aug 2019)

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

  Log Message:
  -----------
  tools/doccheck: optimize display of undefined groups

The printed variable is not computed if no undefined group is found


  Commit: 2f8234acb197e0957637266b4e8567f4bc8561ae
      https://github.com/RIOT-OS/RIOT/commit/2f8234acb197e0957637266b4e8567f4bc8561ae
  Author: Martine Lenders <m.lenders at fu-berlin.de>
  Date:   2019-08-08 (Thu, 08 Aug 2019)

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

  Log Message:
  -----------
  Merge pull request #11813 from aabadie/pr/tools/doccheck_detect_duplicate_defgroup

tools/doccheck: extend script to also check for Doxygen groups defined multiple times


Compare: https://github.com/RIOT-OS/RIOT/compare/3bfa03dcc9ec...2f8234acb197


More information about the commits mailing list