diff options
Diffstat (limited to 'devkitarm.install')
-rw-r--r-- | devkitarm.install | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/devkitarm.install b/devkitarm.install index a491932d160f..aa2e7113dce5 100644 --- a/devkitarm.install +++ b/devkitarm.install @@ -11,9 +11,4 @@ post_install() { 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 } |