diff options
author | Gaël PORTAY | 2023-10-03 09:04:08 +0200 |
---|---|---|
committer | Gaël PORTAY | 2023-10-03 09:04:08 +0200 |
commit | c9cc0879a186a98783c97805cb49bf019a374577 (patch) | |
tree | 009991b163de7fab2bfa9f3e5b1f86816e298a07 | |
parent | 40e8c9461d44e1ddaf4ed2340039f15970b03bda (diff) | |
download | aur-c9cc0879a186a98783c97805cb49bf019a374577.tar.gz |
v2023.08-1.1
-rw-r--r-- | .SRCINFO | 2 | ||||
-rw-r--r-- | PKGBUILD | 2 | ||||
-rw-r--r-- | hooks.install-armv5-eabi-musl-bleeding-edge-toolchain | 2 |
3 files changed, 3 insertions, 3 deletions
@@ -1,7 +1,7 @@ pkgbase = armv5-eabi-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-armv5-eabi-musl-bleeding-edge-toolchain arch = x86_64 @@ -2,7 +2,7 @@ pkgname=armv5-eabi-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-armv5-eabi-musl-bleeding-edge-toolchain b/hooks.install-armv5-eabi-musl-bleeding-edge-toolchain index 786d6d896a16..acf7fd738567 100644 --- a/hooks.install-armv5-eabi-musl-bleeding-edge-toolchain +++ b/hooks.install-armv5-eabi-musl-bleeding-edge-toolchain @@ -2,6 +2,6 @@ post_install() { echo "bootlin toolchain installed to /opt/armv5-eabi-musl-bleeding-edge" echo "The PATH variable will be updated on re-login. To immediately load it:" echo "" - echo " source /etc/profile.d/armv5-eabi-musl-bleeding-edge.sh" + echo " source /etc/profile.d/armv5-eabi-musl-bleeding-edge-toolchain.sh" echo "" } |