From: Thomas Glanzmann <thomas@glanzmann.de> Date: Fri, 18 Feb 2022 19:27:12 +0000 (+0100) Subject: use another URL X-Git-Url: https://git.zerfleddert.de/cgi-bin/gitweb.cgi/m1-debian/commitdiff_plain/a27f2d50630b6e0d378f989115a1c26bc7adf0a9?ds=sidebyside use another URL --- diff --git a/bootstrap.sh b/bootstrap.sh index f79fc22..8ca4abd 100644 --- a/bootstrap.sh +++ b/bootstrap.sh @@ -28,8 +28,8 @@ build_linux() git fetch git reset --hard origin/spmi/work; git clean -f -x -d &> /dev/null curl -s https://tg.st/u/9ce9060dea91951a330feeeda3ad636bc88c642c.patch | git am - - curl -s https://tg.st/u/5nly | git am - - curl -s https://tg.st/u/0wM8 | git am - + curl -s https://tg.st/u/5nly.patch | git am - + curl -s https://tg.st/u/0wM8.patch | git am - curl -s https://tg.st/u/256f5efbf23ff68c489dad92f99d1cecfb021729.patch | git am - curl -s https://tg.st/u/8737955a0263d09ffa8550658dfcac1df3d0665c.patch | git am - curl -s https://tg.st/u/0001-4k-iommu-patch.patch | git am -