diff options
author | ROUVREAU Vincent <vincent.rouvreau@inria.fr> | 2019-04-12 15:26:23 +0200 |
---|---|---|
committer | ROUVREAU Vincent <vincent.rouvreau@inria.fr> | 2019-04-12 15:26:23 +0200 |
commit | 2abd52d46dee679efcdc6a6ba3ba6202f8b8d105 (patch) | |
tree | 567c6ed100d139b902d6e2118adeef8e70d57160 | |
parent | 9a882b787cccb3d01b2080f3e645cbf47dcd2270 (diff) |
Let's try this fix
-rw-r--r-- | .circleci/config.yml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.circleci/config.yml b/.circleci/config.yml index dda8030c..74b54a81 100644 --- a/.circleci/config.yml +++ b/.circleci/config.yml @@ -49,7 +49,7 @@ jobs: command: | mkdir build; cd build; - cmake ..; + cmake -DUSER_VERSION_DIR=version ..; make user_version; cd version; mkdir build; @@ -77,7 +77,7 @@ jobs: cp dox.log version/doc/html/; cp -R version/doc/html /tmp/doxygen; which bibtex > /tmp/doxygen/bitex.txt; - which perl >> /tmp/doxygen/bitex.txt; + which perl > /tmp/doxygen/perl.txt; - store_artifacts: path: /tmp/doxygen |