-rwxr-xr-x 332 lib25519-20220426/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