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