diff options
| author | Sam James <sam@gentoo.org> | 2023-11-02 08:39:07 +0000 |
|---|---|---|
| committer | Joseph Myers <joseph@codesourcery.com> | 2023-11-14 00:19:41 +0000 |
| commit | 3239a80555556578da8e0be1b1dc3db9fcf4e882 (patch) | |
| tree | 0ec2d528d3282d5f8e0ea22805d101e9cbf76843 | |
| parent | 5ee4349fa9c34e711ca6a0a6b21defb62dfa2c62 (diff) | |
| download | gcc-3239a80555556578da8e0be1b1dc3db9fcf4e882.zip gcc-3239a80555556578da8e0be1b1dc3db9fcf4e882.tar.gz gcc-3239a80555556578da8e0be1b1dc3db9fcf4e882.tar.bz2 | |
maintainer-scripts/gcc_release: use HTTPS for links
maintainer-scripts/
* gcc_release: Use HTTPS for links.
Signed-off-by: Sam James <sam@gentoo.org>
| -rwxr-xr-x | maintainer-scripts/gcc_release | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/maintainer-scripts/gcc_release b/maintainer-scripts/gcc_release index 962b8ef..9d8aa3b 100755 --- a/maintainer-scripts/gcc_release +++ b/maintainer-scripts/gcc_release @@ -25,7 +25,7 @@ # # You should have received a copy of the GNU General Public License # along with GCC; see the file COPYING3. If not see -# <http://www.gnu.org/licenses/>. +# <https://www.gnu.org/licenses/>. # ######################################################################## @@ -451,7 +451,7 @@ announce_snapshot() { echo \ "Snapshot gcc-"${RELEASE}" is now available on https://gcc.gnu.org/pub/gcc/snapshots/"${RELEASE}"/ -and on various mirrors, see http://gcc.gnu.org/mirrors.html for details. +and on various mirrors, see https://gcc.gnu.org/mirrors.html for details. This snapshot has been generated from the GCC "${BRANCH}" git branch with the following options: "git://gcc.gnu.org/git/gcc.git branch ${GITBRANCH} revision ${GITREV}" @@ -469,7 +469,7 @@ You'll find: <body> <h1>GCC "${RELEASE}" Snapshot</h1> -<p>The <a href =\"http://gcc.gnu.org/\">GCC Project</a> makes +<p>The <a href =\"https://gcc.gnu.org/\">GCC Project</a> makes periodic snapshots of the GCC source tree available to the public for testing purposes.</p> |