diff options
| author | Behdad Esfahbod <behdad@behdad.org> | 2008-09-18 15:33:10 -0400 |
|---|---|---|
| committer | Behdad Esfahbod <behdad@behdad.org> | 2008-09-18 15:33:10 -0400 |
| commit | d02fb0fd2044652255da0922f70199e7a84a31c1 (patch) | |
| tree | d051a02ec3c945b8d61d5a13af2f103170cee07f /doc/public/check-doc-coverage.sh | |
| parent | c6a7971a1e83d80050c4e2cfb42401a8d3c1b321 (diff) | |
[doc/public/check-doc-coverage.sh] Make doc building needed for the test faster
We used to do a full doc build to just to run the coverage test. That's
way too slow to expect people to run regularly. Instead now we just do the
source code scanning part of the doc build system that is just enough to
know if all symbols are documented.
A full doc build can be done as always by invoking "make doc", and indeed
will be called as part of "make dist" or "make distcheck".
Diffstat (limited to 'doc/public/check-doc-coverage.sh')
| -rwxr-xr-x | doc/public/check-doc-coverage.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/doc/public/check-doc-coverage.sh b/doc/public/check-doc-coverage.sh index 26212dc01..5257c7aca 100755 --- a/doc/public/check-doc-coverage.sh +++ b/doc/public/check-doc-coverage.sh @@ -11,6 +11,9 @@ if test -z "$DOC_MODULE"; then fi fi +if test -n "$REPORT_FILES"; then + $MAKE $REPORT_FILES || exit 1 +fi test -z "$srcdir" && srcdir=. stat=0 |