RFR: 7903936: Update variable names in build.sh documentation [v4]

Tue Jan 21 16:45:53 UTC 2025

On Tue, 21 Jan 2025 16:38:33 GMT, Oleksii Sylichenko <duke at openjdk.org> wrote:

>> Changed variable name `CURL_OPTS` to `CURL_OPTIONS` in the documentation block "Some noteworthy control variables" in `build.sh`. 
>> 
>> `CURL_OPTIONS` is used in the `download_using_curl()` function in `build-support/build-common.sh`.
>
> Oleksii Sylichenko has updated the pull request incrementally with two additional commits since the last revision:
> 
>  - Merge remote-tracking branch 'origin/fix-wget-options-variable' into fix-curl-error-options
>  - Rename WGET_OPTS to WGET_OPTIONS in build.sh
>    
>    Changed variable name WGET_OPTS to WGET_OPTIONS in the documentation block "Some noteworthy control variables" in build.sh.
>    
>    WGET_OPTIONS is used in the download_using_wget() function in build-support/build-common.sh.

Marked as reviewed by cstein (Committer).

-------------

PR Review: https://git.openjdk.org/jtreg/pull/238#pullrequestreview-2565183647