Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

7903936: Update variable names in build.sh documentation #238

Closed
wants to merge 5 commits into from
+3 −3
Closed

7903936: Update variable names in build.sh documentation #238

Changes from all commits
Commits
Show all changes
5 commits
Select commit Hold shift + click to select a range
15d05a5
Rename CURL_OPTS to CURL_OPTIONS in build.sh
asilichenko Jan 7, 2025
bbb3759
Rename WGET_OPTS to WGET_OPTIONS in build.sh
asilichenko Jan 7, 2025
c3fb91a
Merge branch 'openjdk:master' into fix-curl-error-options
asilichenko Jan 21, 2025
a1c638f
Update the second year of make/build.sh to 2025
asilichenko Jan 21, 2025
26d1921
Merge remote-tracking branch 'origin/fix-wget-options-variable' into …
asilichenko Jan 21, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
6 changes: 3 additions & 3 deletions make/build.sh
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
#!/bin/bash

#
# Copyright (c) 2020, 2024, Oracle and/or its affiliates. All rights reserved.
# Copyright (c) 2020, 2025, Oracle and/or its affiliates. All rights reserved.
# DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
#
# This code is free software; you can redistribute it and/or modify it
Expand Down Expand Up @@ -75,14 +75,14 @@
# WGET
# The wget-like executable to use when downloading files.
#
# WGET_OPTS (e.g. "-v")
# WGET_OPTIONS (e.g. "-v")
# Additional arguments to pass to WGET when downloading files.
#
# CURL (e.g. "/path/to/my/wget")
# The curl-like executable to use when downloading files.
# Note: If available, wget will be preferred.
#
# CURL_OPTS (e.g. "-v")
# CURL_OPTIONS (e.g. "-v")
# Additional arguments to pass to CURL when downloading files.
#
# SKIP_DOWNLOAD
Expand Down