diff options
author | Carsten Teibes | 2018-03-30 22:18:53 +0200 |
---|---|---|
committer | Carsten Teibes | 2018-03-30 22:18:53 +0200 |
commit | ae16783d9883ff7cc2001908df5dedc3ff2f7910 (patch) | |
tree | a5d141b742e196d41899ca12c1e83251a3bdbedd /devkitppc.install | |
parent | 93189ec34d87fc94dd3ececfa2dd17fa8e0a6d21 (diff) | |
download | aur-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.install | 6 |
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 } |