summarylogtreecommitdiffstats
path: root/devkitppc.install
diff options
context:
space:
mode:
authorCarsten Teibes2018-03-30 22:18:53 +0200
committerCarsten Teibes2018-03-30 22:18:53 +0200
commitae16783d9883ff7cc2001908df5dedc3ff2f7910 (patch)
treea5d141b742e196d41899ca12c1e83251a3bdbedd /devkitppc.install
parent93189ec34d87fc94dd3ececfa2dd17fa8e0a6d21 (diff)
downloadaur-ae16783d9883ff7cc2001908df5dedc3ff2f7910.tar.gz
[fix] Do not add the toolchain to the $PATH anymore.
Notify the user about this.
Diffstat (limited to 'devkitppc.install')
-rw-r--r--devkitppc.install6
1 files changed, 6 insertions, 0 deletions
diff --git a/devkitppc.install b/devkitppc.install
index 3c3ce092dda1..ca5a4182e0ee 100644
--- a/devkitppc.install
+++ b/devkitppc.install
@@ -6,8 +6,14 @@ post_install() {
echo "To use the toolchain right away, use"
echo " $ source /etc/profile.d/devkitppc.sh # (for POSIX compatible)"
echo " $ source /etc/fish/conf.d/devkitppc.fish # (for fish shell)"
+ echo "You may add \$DEVKITPPC/bin to your \$PATH for selected shells."
}
post_upgrade() {
post_install
+
+ if [[ $(vercmp "$2" "r29.1-2") -ne 1 && $(vercmp "r29.1-3" "$1") -ne 1 ]]; then
+ echo "Note: The provided tools are not added to the \$PATH automatically anymore."
+ echo " This caused problems with other toolchains using the same executable names."
+ fi
}