-rwxr-xr-x 332 lib25519-20220726/scripts-build/ofiles raw
#!/usr/bin/env python3

import os
import sys
import shutil

shutil.rmtree('ofiles',ignore_errors=True)
os.makedirs('ofiles',exist_ok=True)

i = 0

for d in sys.stdin:
  d = d.strip()
  for fn in os.listdir(d):
    if fn.endswith('.o'):
      shutil.copy2('%s/%s' % (d,fn),'ofiles/%d-%s-%s' % (i,d.replace('/','_'),fn))
      i += 1