mirror of
https://github.com/gnss-sdr/gnss-sdr
synced 2024-09-09 13:59:47 +00:00
7 lines
192 B
Python
7 lines
192 B
Python
|
|
||
|
import sys, py_compile
|
||
|
files = sys.argv[1:]
|
||
|
srcs, gens = files[:len(files)/2], files[len(files)/2:]
|
||
|
for src, gen in zip(srcs, gens):
|
||
|
py_compile.compile(file=src, cfile=gen, doraise=True)
|