diff options
author | Martin Roth <martinroth@google.com> | 2016-03-08 09:37:14 -0700 |
---|---|---|
committer | Martin Roth <martinroth@google.com> | 2016-03-11 17:55:38 +0100 |
commit | 1484c03916ec7672a053f04bf0b53741189bf649 (patch) | |
tree | e8baddc52a64bf14dc622f3fc0e4756641d86c76 /.gitmodules | |
parent | 2114880f66ce567bb507b26218f9e88241348ec1 (diff) |
crossgcc/buildgcc: Add comment about URLs and jenkins builder
Add a comment to try to lower possible confusion later if the jenkins
tool builder fails to build a new tool. The URLs for the packages that
are downloaded are checked against known locations so that someone can't
maliciously download a package from somewhere and run it on the build
server. This provides a little bit of security, but could confuse
someone if they don't realize it.
Change-Id: I7858e3d86fc705b480f6792b6adf3d5349580e01
Signed-off-by: Martin Roth <martinroth@google.com>
Reviewed-on: https://review.coreboot.org/13955
Tested-by: build bot (Jenkins)
Reviewed-by: Stefan Reinauer <stefan.reinauer@coreboot.org>
Reviewed-by: Paul Menzel <paulepanter@users.sourceforge.net>
Diffstat (limited to '.gitmodules')
0 files changed, 0 insertions, 0 deletions