diff options
author | 2016-07-06 10:04:34 +0000 | |
---|---|---|
committer | 2016-07-07 08:35:20 +0000 | |
commit | bf2e4ee428b72d6d81f1be11666df458e877f074 (patch) | |
tree | 32af87c9183057820da0f09966e2c23ba1e33868 /scripts/ci/build.sh | |
parent | d449996ce111494ef684bc5a78882619e3d0ef88 (diff) |
Add a warning about GPL part on the release note shipped to Github.
So people don't redistribute the binaries without the sources.
--
Change-Id: Ia3f91285d40669f8aa367633bb54214e9fdf1454
Reviewed-on: https://bazel-review.googlesource.com/#/c/3954
MOS_MIGRATED_REVID=126681605
Diffstat (limited to 'scripts/ci/build.sh')
-rwxr-xr-x | scripts/ci/build.sh | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/scripts/ci/build.sh b/scripts/ci/build.sh index 20b1d408d4..5cffbd6280 100755 --- a/scripts/ci/build.sh +++ b/scripts/ci/build.sh @@ -212,6 +212,12 @@ function release_to_github() { local release_name=$(get_release_name) local rc=$(get_release_candidate) local release_tool="${GITHUB_RELEASE:-$(which github-release 2>/dev/null || true)}" + local gpl_warning=" + +_Notice_: Bazel installers contain binaries licensed under the GPLv2 with +Classpath exception. Those installers should always be redistributed along with +the source code." + if [ ! -x "${release_tool}" ]; then echo "Please set GITHUB_RELEASE to the path to the github-release binary." >&2 echo "This probably means you haven't installed https://github.com/c4milo/github-release " >&2 @@ -222,7 +228,7 @@ function release_to_github() { if [ -n "${release_name}" ] && [ -z "${rc}" ]; then mkdir -p "${tmpdir}/to-github" cp "${@}" "${tmpdir}/to-github" - "${GITHUB_RELEASE}" "${github_repo}" "${release_name}" "" "# $(git_commit_msg)" "${tmpdir}/to-github/"'*' + "${GITHUB_RELEASE}" "${github_repo}" "${release_name}" "" "# $(git_commit_msg) ${gpl_warning}" "${tmpdir}/to-github/"'*' fi } |