diff --git a/tools/test.py b/tools/test.py
index 01b852da15..577bdce9ad 100644
--- a/tools/test.py
+++ b/tools/test.py
@@ -141,6 +141,7 @@ if __name__ == '__main__':
                                                 properties=build_properties,
                                                 name="mbed-os",
                                                 macros=options.macros,
+                                                verbose=options.verbose,
                                                 archive=False)
             except Exception, e:
                 library_build_success = False
@@ -155,6 +156,7 @@ if __name__ == '__main__':
                         report=build_report,
                         properties=build_properties,
                         macros=options.macros,
+                        verbose=options.verbose,
                         jobs=options.jobs)
                         
                 if not test_build_success: