diff options
| -rw-r--r-- | tools/make_file.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/make_file.py b/tools/make_file.py index 6885610d..720eb0e4 100644 --- a/tools/make_file.py +++ b/tools/make_file.py @@ -11,7 +11,7 @@ m = re.search('\[[\d, -]*\]', data) data = eval(m.group(0)) data = [x&0xff for x in data] string = ''.join([chr(item) for item in data]) -out = open(sys.argv[1]+'.raw', 'wb') +out = open(sys.argv[1]+'.' + (sys.argv[2] if len(sys.argv) >= 3 else 'raw'), 'wb') print data[0:80] print string[0:80] out.write(string) |