diff options
author | Vincent Rouvreau <vincent.rouvreau@inria.fr> | 2022-06-29 10:07:04 +0200 |
---|---|---|
committer | Vincent Rouvreau <vincent.rouvreau@inria.fr> | 2022-06-29 10:07:04 +0200 |
commit | e31556d04e4a957dd38b3e52e91e1a6cedd47f65 (patch) | |
tree | 42264818916c319a9ae5d4b19a64946b7f92d98c /.circleci | |
parent | 26a4381c6948338f935e107880cdf0789f65cb12 (diff) |
doxygen logs are now in doxygen.log file (cf. Doxyfile.in). grep and cp the correct file
Diffstat (limited to '.circleci')
-rw-r--r-- | .circleci/config.yml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/.circleci/config.yml b/.circleci/config.yml index e2997145..64e7fbb1 100644 --- a/.circleci/config.yml +++ b/.circleci/config.yml @@ -95,9 +95,9 @@ jobs: mkdir build cd build cmake -DWITH_GUDHI_CPP_DOCUMENTATION_ONLY=ON .. - make doxygen 2>&1 | tee dox.log - grep warning dox.log - cp dox.log html/ + make doxygen 2>&1 + grep warning doxygen.log + cp doxygen.log html/ cp -R html /tmp/doxygen - store_artifacts: |