diff options
| author | luckytyphlosion <10688458+luckytyphlosion@users.noreply.github.com> | 2021-01-31 16:22:54 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-01-31 16:22:54 -0500 |
| commit | 11eb805856262585248db63668d781d635d266af (patch) | |
| tree | 02e28e86d0d291be85cb266293b8ad79dcd3a949 | |
| parent | 98f8c96c9e21791651d2274f07046496ab826ff2 (diff) | |
Temporary fix for macOS install.
Should probably figure out what's exactly setting $DEVKITPRO since it's set by something else upon opening the Terminal.
| -rw-r--r-- | INSTALL.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/INSTALL.md b/INSTALL.md index 566d37379..a59d4002c 100644 --- a/INSTALL.md +++ b/INSTALL.md @@ -253,7 +253,7 @@ If this works, then proceed to [Installation](#installation). Otherwise, ask for 4. After the tools are installed, devkitPro must now be made accessible from anywhere by the system. To do so, run the following commands: ```bash - export DEVKITPRO=$HOME/devkitpro + export DEVKITPRO=/opt/devkitpro echo "export DEVKITPRO=$DEVKITPRO" >> ~/.bashrc export DEVKITARM=$DEVKITPRO/devkitARM echo "export DEVKITARM=$DEVKITARM" >> ~/.bashrc |