devkitarm.install


1
2
3
4
5
6
7
8
9
10


post_install() {
  echo "To use the toolchain right away, you have to set the environment variables in"
  echo "your currently running shells by executing 'source /etc/profile.d/devkitarm.sh'!"
  echo "This is done automatically for every shell opened from now on."
}

post_upgrade() {
  post_install
}