summaryrefslogtreecommitdiff
path: root/.circleci
diff options
context:
space:
mode:
authorROUVREAU Vincent <vincent.rouvreau@inria.fr>2020-02-06 13:22:55 +0100
committerROUVREAU Vincent <vincent.rouvreau@inria.fr>2020-02-06 13:22:55 +0100
commit31d3c96d65737fbeb0c8762b1f7e7ac4f5aaeab8 (patch)
treecaad5f47f33c51c18e4ea7c6bcdb27a94a5fc9d6 /.circleci
parent9e955b7088ac19cf701b213337d8ea29355f0b40 (diff)
python change directory make copy fail
Diffstat (limited to '.circleci')
-rw-r--r--.circleci/config.yml2
1 files changed, 1 insertions, 1 deletions
diff --git a/.circleci/config.yml b/.circleci/config.yml
index d9678852..f4073746 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -62,7 +62,7 @@ jobs:
cd python;
python3 setup.py build_ext -j 4 --inplace;
make sphinx;
- cp -R python/sphinx /tmp/sphinx;
+ cp -R sphinx /tmp/sphinx;
python3 setup.py install;
python3 setup.py clean --all;
ctest -j 4 --output-on-failure;