From bbb3759c02518b91902e0d34ac93a6fe63dda512 Mon Sep 17 00:00:00 2001
From: Oleksii Sylichenko <a.silichenko@gmail.com>
Date: Tue, 7 Jan 2025 18:44:05 +0200
Subject: [PATCH] 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.
---
 make/build.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/make/build.sh b/make/build.sh
index 42fb71b3..d5c865dc 100644
--- a/make/build.sh
+++ b/make/build.sh
@@ -75,7 +75,7 @@
 # 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")