diff --git a/tools/toolchains/__init__.py b/tools/toolchains/__init__.py
index c6735157dd..f0b509e9af 100644
--- a/tools/toolchains/__init__.py
+++ b/tools/toolchains/__init__.py
@@ -794,6 +794,9 @@ class mbedToolchain:
                             ])
                         objects.append(result['object'])
                     except ToolException, err:
+                        if p._taskqueue.queue:
+                            p._taskqueue.queue.clear()
+                            sleep(0.5)
                         p.terminate()
                         p.join()
                         raise ToolException(err)