Fix NameError in worlddump.py

Change-Id: Ie87e5b5ead777c0153ed7fa5d1db5cc1ae444261
This commit is contained in:
Amey Bhide 2015-06-30 11:39:05 -07:00
parent 7bc1f3c15f
commit 432268b17b

View File

@ -47,7 +47,7 @@ def _dump_cmd(cmd):
print cmd print cmd
print "-" * len(cmd) print "-" * len(cmd)
print print
subprocess.Popen(cmd, shell=True) Popen(cmd, shell=True)
def _header(name): def _header(name):