diff --git a/benchmark/export.py b/benchmark/export.py index 308cca16aa06c100176cf87ea60ff39a795a4492..fd6e21f84d897c055becf9b3f8c3e1fc83d9903c 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 568f83d9c3134142df9e26a59f7b8bc93043dd52..29ce97312ee85e33862c5ff35045ac5ecb9c73fa 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)