From 60ae00eb0d14ce04fd5b3ecef974f6518cb784f2 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Mon, 5 Mar 2018 14:07:16 +0100
Subject: [PATCH] tweak benchmark exporter
---
benchmark/export.py | 3 +--
benchmark/parse_log.py | 2 ++
2 files changed, 3 insertions(+), 2 deletions(-)
diff --git a/benchmark/export.py b/benchmark/export.py
index 308cca16a..fd6e21f84 100755
--- a/benchmark/export.py
+++ b/benchmark/export.py
@@ -46,6 +46,5 @@ for datapoint in results:
date = subprocess.check_output(['git', 'show', commit, '-s', '--pretty=%cI']).strip().decode('UTF-8')
headers = {'X-Project': args.project, 'X-Branch': args.branch, 'X-Commit': commit, 'X-Config': args.config, 'X-Date': date}
r = requests.post(args.server+"/build_times_8.6", data=times, headers=headers, auth=(args.user, args.password))
+ print(" {}".format(r.text.strip()))
r.raise_for_status()
- print(" done")
-
diff --git a/benchmark/parse_log.py b/benchmark/parse_log.py
index 568f83d9c..29ce97312 100644
--- a/benchmark/parse_log.py
+++ b/benchmark/parse_log.py
@@ -17,6 +17,7 @@ def parse(file, parse_times = PARSE_FULL):
commit = None
times = None
for line in file:
+ line = line.strip()
# next commit?
m = commit_re.match(line)
if m is not None:
@@ -40,6 +41,7 @@ def parse(file, parse_times = PARSE_FULL):
times[name] = time
continue
# nothing else we know about, ignore
+ print("Ignoring line",line)
# end of file. previous commit, if any, is done now.
if commit is not None:
yield Result(commit, times)
--
GitLab