Merge pull request #250 from 0xrgb/0xrgb-patch-1

Update mpir_config.py
This commit is contained in:
wbhart 2018-03-21 04:36:47 +01:00 committed by GitHub
commit a0cd69e74f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -203,7 +203,7 @@ g2_sym = compile(r'global\s+__g(\w+)')
def get_symbols(setf, sym_dir):
for f in setf:
fn = join(mpir_root_dir, f[2], f[0] + f[1])
with open(fn, 'r') as inf:
with open(fn, 'r', encoding='utf8', errors='replace') as inf:
lines = inf.readlines()
for l in lines:
m = fr_sym.search(l)