diff --git a/workspace_tools/singletest.py b/workspace_tools/singletest.py
index a1b25921ef..57df76557a 100644
--- a/workspace_tools/singletest.py
+++ b/workspace_tools/singletest.py
@@ -1,3 +1,5 @@
+#!/usr/bin/env python
+
 """
 mbed SDK
 Copyright (c) 2011-2013 ARM Limited