From: Martin Quinson <martin.quinson@ens-rennes.fr>
Date: Tue, 8 Jan 2019 07:34:12 +0000 (+0100)
Subject: ci: make target got renamed
X-Git-Tag: v3_22~648
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/da4365ab52b4479d32e1ee3688efca0728efe3d5?hp=8f1ee3e1004fed6acef03da662a0590da900a7d8

ci: make target got renamed
---

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index f7e1ac4f7c..1abaeb2507 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -4,7 +4,7 @@ pages:
   script:
   - pip3 install --requirement docs/requirements.txt
   - cmake -Denable_model-checking=OFF -Denable_documentation=OFF -Denable_coverage=OFF -Denable_java=OFF -Denable_lua=OFF -Denable_compile_optimizations=OFF -Denable_smpi=OFF .
-  - make -j4 simgrid_python
+  - make -j4 python-bindings
   - cd docs
   - LC_ALL=C.UTF-8 ./Build.sh
   - mv build/html ../public