tweak make_file

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)