diff options
-rw-r--r-- | .SRCINFO | 2 | ||||
-rw-r--r-- | PKGBUILD | 2 | ||||
-rw-r--r-- | hooks.install-mips32el-musl-bleeding-edge-toolchain | 2 |
3 files changed, 3 insertions, 3 deletions
@@ -1,7 +1,7 @@ pkgbase = mips32el-musl-bleeding-edge-toolchain pkgdesc = Ready-to-use cross-compilation toolchain provided by bootlin.com pkgver = 2023.08 - pkgrel = 1 + pkgrel = 1.1 url = https://toolchains.bootlin.com/ install = hooks.install-mips32el-musl-bleeding-edge-toolchain arch = x86_64 @@ -2,7 +2,7 @@ pkgname=mips32el-musl-bleeding-edge-toolchain pkgver=2023.08 -pkgrel=1 +pkgrel=1.1 pkgdesc="Ready-to-use cross-compilation toolchain provided by bootlin.com" arch=("x86_64") url="https://toolchains.bootlin.com/" diff --git a/hooks.install-mips32el-musl-bleeding-edge-toolchain b/hooks.install-mips32el-musl-bleeding-edge-toolchain index 6feb47635028..0dc904c0d092 100644 --- a/hooks.install-mips32el-musl-bleeding-edge-toolchain +++ b/hooks.install-mips32el-musl-bleeding-edge-toolchain @@ -2,6 +2,6 @@ post_install() { echo "bootlin toolchain installed to /opt/mips32el-musl-bleeding-edge" echo "The PATH variable will be updated on re-login. To immediately load it:" echo "" - echo " source /etc/profile.d/mips32el-musl-bleeding-edge.sh" + echo " source /etc/profile.d/mips32el-musl-bleeding-edge-toolchain.sh" echo "" } |