From 77a5ad03a6b4eeb9bb08d7ed2ffb5c27b3caf1e4 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Daniel=20Marjam=C3=A4ki?= Date: Thu, 12 Dec 2013 21:08:15 +0100 Subject: [PATCH] ci: minor updates --- tools/ci.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/tools/ci.py b/tools/ci.py index 7c893e505..0c040d481 100644 --- a/tools/ci.py +++ b/tools/ci.py @@ -136,7 +136,6 @@ def daca2(foldernum): folder = folders[foldernum % len(folders)] print('Daca2 folder=' + folder) - daca2report() p = subprocess.Popen(['git', 'show', '--format=%h'], stdout=subprocess.PIPE, stderr=subprocess.PIPE) @@ -144,6 +143,8 @@ def daca2(foldernum): rev = comm[0] rev = rev[:rev.find('\n')] + subprocess.call( + ['make', 'clean']) subprocess.call( ['nice', 'make', 'SRCDIR=build', 'CXXFLAGS=-O2', 'CPPFLAGS=-DMAXTIME=600']) subprocess.call(