message: Write to log properly
diff: @@ -113,10 +113,10 @@ def run_benchmark(benchmark, folder):
  f.write(proc.stderr.read())
  def write_benchmark_info(benchmark, folder):
  - file = os.path.join(folder, benchmark)
  + file = os.path.join(folder, benchmark + '.log')
  # benchmark, write info
  log("Write benchmark info " + benchmark);
  - proc = subprocess.Popen([benchmark_runner, '--info', benchmark + '.log'], stdout=subprocess.PIPE)
  + proc = subprocess.Popen([benchmark_runner, '--info', benchmark], stdout=subprocess.PIPE)
  output = proc.stdout.read()
  print(output)
  with open(file, 'w+') as f:
  