From e0475c4cb1adf006156ed034615b4869b0c554c8 Mon Sep 17 00:00:00 2001
From: Amir MOHAMMADI <amir.mohammadi@idiap.ch>
Date: Mon, 5 Feb 2018 17:37:09 +0100
Subject: [PATCH] Fix builds
---
.gitlab-ci.yml | 2 +-
build.py | 2 +-
2 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index b581c40..54745a4 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -12,7 +12,7 @@ core_build:
- docker
extra_build:
- stage: core
+ stage: extra
script:
- pip install --upgrade python-gitlab
- python build.py extra.txt 0
diff --git a/build.py b/build.py
index 8c22b7d..637d61e 100644
--- a/build.py
+++ b/build.py
@@ -33,5 +33,5 @@ if __name__ == '__main__':
import sys
pkg_list_file = sys.argv[1]
pkg_list_file = sys.argv[1]
- fail = bool(sys.argv[2])
+ fail = bool(int(sys.argv[2]))
main(pkg_list_file, fail)
--
GitLab