summaryrefslogtreecommitdiff
path: root/.circleci/config.yml
diff options
context:
space:
mode:
authorROUVREAU Vincent <vincent.rouvreau@inria.fr>2019-04-12 15:26:23 +0200
committerROUVREAU Vincent <vincent.rouvreau@inria.fr>2019-04-12 15:26:23 +0200
commit2abd52d46dee679efcdc6a6ba3ba6202f8b8d105 (patch)
tree567c6ed100d139b902d6e2118adeef8e70d57160 /.circleci/config.yml
parent9a882b787cccb3d01b2080f3e645cbf47dcd2270 (diff)
Let's try this fix
Diffstat (limited to '.circleci/config.yml')
-rw-r--r--.circleci/config.yml4
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