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

[duke]

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.

@asilichenko 
Your change (at version 26d19213b0e4fc933839a78ec9cc09c294ece6b2) is now ready to be sponsored by a Committer.

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

PR Comment: https://git.openjdk.org/jtreg/pull/238#issuecomment-2605343852