From 55b8ff7e74d808bb8953938469ca721d06fed4c2 Mon Sep 17 00:00:00 2001
From: Ivan Kravets <me@ikravets.com>
Date: Sun, 4 Feb 2018 00:08:28 +0200
Subject: [PATCH] Fold install dev/platform output for CI

---
 tox.ini | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/tox.ini b/tox.ini
index 6432347f..26327fd7 100644
--- a/tox.ini
+++ b/tox.ini
@@ -58,7 +58,9 @@ deps =
     pytest
 commands =
     {envpython} --version
+    {envpython} -c "print 'travis_fold:start:install_devplatforms'"
     {envpython} scripts/install_devplatforms.py
+    {envpython} -c "print 'travis_fold:end:install_devplatforms'"
     py.test -v --basetemp="{envtmpdir}" tests
 
 [testenv:skipexamples]