From 9e61dbbe6c6c81e2378f237ef2dd7ceb6cc7949a Mon Sep 17 00:00:00 2001
From: Andre Anjos <andre.dos.anjos@gmail.com>
Date: Tue, 22 Jan 2019 07:50:59 +0100
Subject: [PATCH] [build] Tries to mitigate #2
---
bob/devtools/build.py | 1 +
1 file changed, 1 insertion(+)
diff --git a/bob/devtools/build.py b/bob/devtools/build.py
index 262d944a..b284094f 100644
--- a/bob/devtools/build.py
+++ b/bob/devtools/build.py
@@ -454,6 +454,7 @@ if __name__ == '__main__':
bootstrap.setup_logger(logger, args.verbose)
+ bootstrap.set_environment('PYTHONUNBUFFERED', '1')
bootstrap.set_environment('DOCSERVER', bootstrap._SERVER)
bootstrap.set_environment('LANG', 'en_US.UTF-8')
bootstrap.set_environment('LC_ALL', os.environ['LANG'])
--
GitLab