We don't require wget any more.

diff --git a/tools/make-check b/tools/make-check
index 9b2c0ba03ea332c680d863a708f08ca759806f0a..99d27e763683ba230ca16369b239337b0284e953 100644 (file)
--- a/tools/make-check
+++ b/tools/make-check
@@ -81,7 +81,6 @@ check_toolchain() {
 check_build() {
        check_common "Python"                           "python -V"
        check_common "GNU make"         "3.79.1"        "make --version | head -n1"
-       check_common "GNU wget"                         "wget --version | head -n1"
        check_common "Git"                              "git --version"
        check_common "GNU which"                        "which --version | head -n1"
 }