-rwxr-xr-x 443 lib25519-20230630/scripts-build/result-impl raw
#!/usr/bin/env python3

import os
import sys

boldfaced = False

for line in sys.stdin:
  d = line.strip()
  if len(d) == 0: continue
  announced = False
  with open(d+'/result') as f:
    for fline in f:
      if not boldfaced:
        print('----- Compilation notes')
        boldfaced = True
      if not announced:
        print(d+':')
        announced = True
      sys.stdout.write('  '+fline)

if boldfaced:
  print('-----')