1 files changed, 2 insertions, 0 deletions
diff --git a/tools/export2.py b/tools/export2.py
index 17e732bf6..6e0e2787e 100755
--- a/tools/export2.py
+++ b/tools/export2.py
@@ -216,6 +216,8 @@ def main(argv=None):
     else:
         for cmd in commando_orders:
             output = run(commando[cmd])[0].strip()
+            if options.verbose:
+                print output
 
 if __name__ == '__main__':
     sys.exit(main())