diff options
Diffstat (limited to 'devkitarm.install')
-rw-r--r-- | devkitarm.install | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/devkitarm.install b/devkitarm.install index 670fc5c0e5b6..a491932d160f 100644 --- a/devkitarm.install +++ b/devkitarm.install @@ -6,8 +6,14 @@ post_install() { echo "To use the toolchain right away, use" echo " $ source /etc/profile.d/devkitarm.sh # (for POSIX compatible)" echo " $ source /etc/fish/conf.d/devkitarm.fish # (for fish shell)" + echo "You may add \$DEVKITARM/bin to your \$PATH for selected shells." } post_upgrade() { post_install + + if [[ $(vercmp "$2" "r47") -ne 1 && $(vercmp "r48" "$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 } |