Skip to content

Commit

Permalink
Improve warning wording if curl/wget is not present
Browse files Browse the repository at this point in the history
  • Loading branch information
kit-ty-kate committed Aug 9, 2022
1 parent f737853 commit 8ac491e
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 2 deletions.
2 changes: 1 addition & 1 deletion CHANGES
Original file line number Diff line number Diff line change
Expand Up @@ -42,7 +42,7 @@ are not marked). Those prefixed with "(+)" are new command/option (since
* Update test engine to allow for additional tests [#4913 #4966 #4979 #5004
#5009 #5024 #5097 @AltGr @kit-ty-kate @rjbou]
* Update for git protocol deprecation on GitHub [#5097 @rjbou]
* When building opam, do not fail if curl/wget is missing [#5223 @kit-ty-kate]
* When building opam, do not fail if curl/wget is missing [#5223 #5233 @kit-ty-kate]

2.1.2:
* Fallback on dnf if yum does not exist on RHEL-based systems [#4825 @kit-ty-kate]
Expand Down
2 changes: 1 addition & 1 deletion shell/bootstrap-ocaml.sh
Original file line number Diff line number Diff line change
Expand Up @@ -7,7 +7,7 @@ if command -v curl > /dev/null; then
elif command -v wget > /dev/null; then
CURL=wget
else
echo "[WARNING] This script requires curl or wget"
echo "[WARNING] This script may need curl or wget"
fi
BOOTSTRAP_DIR=${BOOTSTRAP_DIR:-bootstrap}
BOOTSTRAP_ROOT=${BOOTSTRAP_ROOT:-..}
Expand Down

0 comments on commit 8ac491e

Please sign in to comment.