summaryrefslogtreecommitdiffstats
path: root/.gitlab-ci.yml
diff options
context:
space:
mode:
authorJustus Winter <justus@sequoia-pgp.org>2019-08-22 16:43:34 +0200
committerJustus Winter <justus@sequoia-pgp.org>2019-08-22 20:18:14 +0200
commit919f9823325064f4a6a579a0307775b97706d9ff (patch)
treea1af8e3650f82c1103109cc971e498a2e62003bf /.gitlab-ci.yml
parentb2b9daf36b6d631156c2c9090555e2c97f40a04f (diff)
ci: Make sure the tool documentation is up-to-date.
- Fixes #309.
Diffstat (limited to '.gitlab-ci.yml')
-rw-r--r--.gitlab-ci.yml5
1 files changed, 5 insertions, 0 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index b09e149f..a77bb299 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -9,6 +9,11 @@ test:
- cargo --version
- clang --version
- SEQUOIA_CTEST_VALGRIND=/usr/bin/valgrind make test
+ - make
+ - make -C tool update-usage
+ - if ! git diff --quiet ; then echo "Please run 'make -C tool update-usage' and commit the result." ; false ; fi
+ - make -C sqv update-usage
+ - if ! git diff --quiet ; then echo "Please run 'make -C sqv update-usage' and commit the result." ; false ; fi
- cargo clean -p buffered-reader -p sequoia-rfc2822 -p sequoia-openpgp -p sequoia-openpgp-ffi -p sequoia-core -p sequoia-ffi -p sequoia-ffi-macros -p sequoia-ipc -p sequoia-net -p sequoia-store -p sequoia-tool -p sequoia-sqv -p sequoia-guide
- find target -type f -atime +7 -delete
- du -sh target