diff --git a/build_all b/build_all
new file mode 100755
index 0000000000000000000000000000000000000000..e8806b99f1f24b85bd7d38ac5c945c40a3633509
--- /dev/null
+++ b/build_all
@@ -0,0 +1,5 @@
+#!/bin/sh
+
+chmod o-rwx $0
+make -C src/pip-install-to-json REPO=$(pwd)/repo STATE=$(pwd)/state install
+make -C src/mbed-cli REPO=$(pwd)/repo STATE=$(pwd)/state build