diff options
Diffstat (limited to 'TOOLS/file2string.py')
| -rwxr-xr-x | TOOLS/file2string.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/TOOLS/file2string.py b/TOOLS/file2string.py index b641a1df2f..5b1c4a95d1 100755 --- a/TOOLS/file2string.py +++ b/TOOLS/file2string.py @@ -39,5 +39,6 @@ def file2string(infilename, infile, outfile): outfile.write('"' + ''.join(conv[c] for c in line) + '"\n') if __name__ == "__main__": + outfile = open(sys.argv[2], "w") with open(sys.argv[1], 'rb') as infile: - file2string(sys.argv[1], infile, sys.stdout) + file2string(sys.argv[1], infile, outfile) |