From 676c393500f907dd4f4178705b51f5dd285a641f Mon Sep 17 00:00:00 2001
From: Andre Anjos <andre.dos.anjos@gmail.com>
Date: Fri, 18 Jan 2019 08:14:29 +0100
Subject: [PATCH] Tries to avoid garbled CI logs (see issue #2)
---
bob/devtools/scripts/ci.py | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/bob/devtools/scripts/ci.py b/bob/devtools/scripts/ci.py
index d2e92dcc..3021135e 100644
--- a/bob/devtools/scripts/ci.py
+++ b/bob/devtools/scripts/ci.py
@@ -34,7 +34,8 @@ def ci():
attempt to run these commands in your own installation. Unexpected errors
may occur.
"""
- pass
+ # ensure messages don't get garbled at the output on the CI logs
+ set_environment('PYTHONUNBUFFERED', '1', os.environ)
@ci.command(epilog='''
--
GitLab