Rename build folder to jenkins

2016-07-27 16:18:02 -07:00 · 2016-07-27 16:18:02 -07:00 · 3b520d13da
--- a/2
+++ b/2
@ -1 +1 @@
-Subproject commit 129a65be378d4bef458745ce5352bd52f285fca7
+Subproject commit b530fe876fe4c166cd15c20b9ec75604a91825cd
--- a/jenkins/linux_c.sh
+++ b/jenkins/linux_c.sh
--- a/jenkins/mbed_c.cmd
+++ b/jenkins/mbed_c.cmd
--- a/jenkins/ubuntu1510_c.sh
+++ b/jenkins/ubuntu1510_c.sh
--- a/jenkins/windows_c.cmd
+++ b/jenkins/windows_c.cmd