diff options
author | Brooks Davis <brooks@FreeBSD.org> | 2023-04-20 21:38:10 +0000 |
---|---|---|
committer | Brooks Davis <brooks@FreeBSD.org> | 2023-04-20 21:38:37 +0000 |
commit | 85e8c2a0349075fcab5c2446dae1ce82f6445fe9 (patch) | |
tree | 51b51d0b64c824505bd74ad6818bb4b4379fd8ee /.cirrus.yml | |
parent | 8612e44589d7aa84acfd023238bb6b2832892d47 (diff) | |
download | src-85e8c2a0349075fcab5c2446dae1ce82f6445fe9.tar.gz src-85e8c2a0349075fcab5c2446dae1ce82f6445fe9.zip |
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
Diffstat (limited to '.cirrus.yml')
-rw-r--r-- | .cirrus.yml | 8 |
1 files changed, 8 insertions, 0 deletions
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 |