Integrated: 7903936: Update variable names in build.sh documentation

[Oleksii Sylichenko]

On Tue, 7 Jan 2025 16:04:39 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`.

This pull request has now been integrated.

Changeset: 4544d5f4
Author:    asilichenko <a.silichenko at gmail.com>
Committer: Christian Stein <cstein at openjdk.org>
URL:       https://git.openjdk.org/jtreg/commit/4544d5f4bc276ed9f55e49e75941714ad39d130e
Stats:     3 lines in 1 file changed: 0 ins; 0 del; 3 mod

7903936: Update variable names in build.sh documentation

Reviewed-by: cstein, iris

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

PR: https://git.openjdk.org/jtreg/pull/238