Date: Thu, 20 Apr 2023 21:38:57 GMT From: Brooks Davis <brooks@FreeBSD.org> To: src-committers@FreeBSD.org, dev-commits-src-all@FreeBSD.org, dev-commits-src-main@FreeBSD.org Subject: git: 85e8c2a03490 - main - Cirrus-CI: Run makeman script Message-ID: <202304202138.33KLcvnM075037@gitrepo.freebsd.org>
next in thread | raw e-mail | index | archive | help
The branch main has been updated by brooks: URL: https://cgit.FreeBSD.org/src/commit/?id=85e8c2a0349075fcab5c2446dae1ce82f6445fe9 commit 85e8c2a0349075fcab5c2446dae1ce82f6445fe9 Author: Brooks Davis <brooks@FreeBSD.org> AuthorDate: 2023-04-20 21:38:10 +0000 Commit: Brooks Davis <brooks@FreeBSD.org> CommitDate: 2023-04-20 21:38:37 +0000 Cirrus-CI: Run makeman script Run makeman and verify that src.conf.5 has been updated if required and that there are no missing definition files. Reviewed by: emaste Sponsored by: DARPA Differential Revision: https://reviews.freebsd.org/D39682 --- .cirrus.yml | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/.cirrus.yml b/.cirrus.yml index d53d6ede110e..f2c8fa83c59f 100644 --- a/.cirrus.yml +++ b/.cirrus.yml @@ -64,6 +64,14 @@ task: # Check that includes/Makefile refers to existing directories - if ! make -C include/ check-ldirs; then printf "\n>>> include/Makefile lists nonexistant directories <<<\n"; false; fi + makeman_script: + # Check that the committed src.conf.5 matches the one generated by + # tools/build/options/makeman (modulo the date which always updates) + # XXX: This script is slow so keep it last + - (make makeman 2> /tmp/makeman.out); cat /tmp/makeman.out + - if ! git diff --exit-code --ignore-matching-lines "^.Dd" share/man/man5/src.conf.5; then printf "\n>>> src.conf.5 was not updated as required <<<\n"; false; fi + - if grep -q "no description found" /tmp/makeman.out; then printf "\n>>> Missing description files <<<\n"; false; fi + post_script: - df -m - du -m -s /usr/obj
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202304202138.33KLcvnM075037>