From cac4fc761b1db9a0bbc6b67e139c52f2c0a8b42a Mon Sep 17 00:00:00 2001
From: Nils Andreas Svee <me@lochnair.net>
Date: Sun, 27 Nov 2022 15:29:21 +0100
Subject: [PATCH] jenkinsfile: silence wget

---
 Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 57ead1b..e2c487a 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -62,7 +62,7 @@ pipeline {
 							}
 						}
 						steps {
-							sh "wget ${TOOLCHAIN_URL}"
+							sh "wget -q ${TOOLCHAIN_URL}"
 							sh 'mkdir ' + GCC_TARGET + '-cross'
 							sh 'tar -x -z -f ' + GCC_TARGET + '-cross.tgz'
 							sh 'rm -vf ${GCC_TARGET}-cross.tgz'