From da4365ab52b4479d32e1ee3688efca0728efe3d5 Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@ens-rennes.fr>
Date: Tue, 8 Jan 2019 08:34:12 +0100
Subject: [PATCH 1/1] ci: make target got renamed

---
 .gitlab-ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
-- 
2.20.1