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