From da3e8606ecabff8ef759c09a38bcfd5b94b74877 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Daniel=20Marjam=C3=A4ki?= <daniel.marjamaki@gmail.com>
Date: Mon, 8 Sep 2014 17:39:18 +0200
Subject: [PATCH] ci.py: sleep

---
 tools/ci.py | 8 +++-----
 1 file changed, 3 insertions(+), 5 deletions(-)

diff --git a/tools/ci.py b/tools/ci.py
index a83ee0c28..f7aa467b6 100644
--- a/tools/ci.py
+++ b/tools/ci.py
@@ -94,13 +94,11 @@ def gitpull():
     return False
 
 
-t0 = datetime.date.today()
+t0 = None
 while True:
     if datetime.date.today() != t0:
         print("generate daily reports")
         t0 = datetime.date.today()
+        gitpull()
         generate_webreport()
-
-    if gitpull() == True:
-        print("make test")
-        # maketest(False) # Integral make test build
+    time.sleep(60)