tree a8600acc3bf2c726bdbb4baf52c09d32f4db9f31
parent 5b705b15c3c497e095b1912804d2938a5080c4e0
author Dan Grove <dgrove@google.com> 1495814334 -0700
committer Dan Grove <dgrove@google.com> 1495814334 -0700

Result of the following:
git cherry-pick 6f71f9c80b2088df5afa5e8ded7196db120f5b18
git cherry-pick 20dc74984432702dd6de679383c4cea8e0e31e3e
git cherry-pick d21cc80a5457e68bcd3af4b6b5106e0f08a1ee3b
git cherry-pick a865f0ecf225fbffaf393f7b55c715aa64d090b6
cd pkg/dev_compiler
tool/build_sdk.sh