Update compile API URL
Update the compile API URL. Additionally raise an exception if a target
could not be built.
@@ -41,7 +41,7 @@ import time
import requests
import logging
-MBED_API_SERVER = 'https://developer.mbed.org'
+MBED_API_SERVER = 'https://os.mbed.com/'
def build_repo(user, password, repo, platform, destdir,
@@ -130,6 +130,8 @@ def build_repo(user, password, repo, platform, destdir,
fd.write(chunk)
logging.info("Finished!")
+ else:
+ raise Exception("Failed to build platform %s" % platform)
return destination
if __name__ == "__main__":
