diff --git a/workspace_tools/make.py b/workspace_tools/make.py
index 1bcb478394..1e80a94524 100644
--- a/workspace_tools/make.py
+++ b/workspace_tools/make.py
@@ -86,7 +86,7 @@ if __name__ == '__main__':
         if options.disk:
             # Simple copy to the mbed disk
             copy(bin, options.disk)
-            sleep(1)
+            sleep(2)
         
         if options.serial:
             serial = Serial(options.serial, timeout = 1)