2013-06-25 18:28:25 -07:00
|
|
|
# coding: utf-8
|
2013-08-31 08:03:37 -07:00
|
|
|
"""
|
|
|
|
Starting a new python process to preprocess each source file creates too much
|
|
|
|
overhead. Instead, a list of files to preprocess is fed into a script run from
|
|
|
|
a single process.
|
|
|
|
"""
|
2013-06-25 18:28:25 -07:00
|
|
|
|
2013-06-20 21:58:35 -07:00
|
|
|
import os
|
|
|
|
import sys
|
|
|
|
import preprocessor
|
|
|
|
|
|
|
|
if __name__ == '__main__':
|
2013-06-25 20:25:50 -07:00
|
|
|
for source in sys.argv[1:]:
|
|
|
|
dest = os.path.splitext(source)[0] + '.tx'
|
|
|
|
sys.stdin = open(source, 'r')
|
|
|
|
sys.stdout = open(dest, 'w')
|
2013-08-31 08:13:17 -07:00
|
|
|
preprocessor.preprocess(preprocessor.load_pokecrystal_macros())
|