See <https://builds.apache.org/job/NuttX-Nightly-Build/246/display/redirect>
- Build failed in Jenkins: NuttX-Nightly-Build #24... Apache Jenkins Server
- Re: Build failed in Jenkins: NuttX-Nightly-... Ishikawa, Masayuki (SHES)
- Jenkins build is back to normal : NuttX-Nig... Apache Jenkins Server
