diff options
author | luckytyphlosion <10688458+luckytyphlosion@users.noreply.github.com> | 2020-12-16 13:48:32 -0500 |
---|---|---|
committer | luckytyphlosion <10688458+luckytyphlosion@users.noreply.github.com> | 2020-12-16 13:48:32 -0500 |
commit | 1d64f265ac4efa58a1866a839c16af9dce6b6ae0 (patch) | |
tree | ef70ccfc8d1b1647e91c45fec3fa4ce771830336 /libc/stdlib/dtoa.c | |
parent | 3e670b934f83d262fd584278293fa22c32b55e07 (diff) |
Check $(DEVKITARM)/bin instead of $(DEVKITARM)/base_tools
Rationale: uninstalling devkitarm doesn't remove base_tools, but removes bin. If the binaries exist but not base_tools, then the user clearly wants to install using dkA. Otherwise, if base_tools exists but not binaries, it is possible that the user wants to use standalone arm-none-eabi binaries.
Diffstat (limited to 'libc/stdlib/dtoa.c')
0 files changed, 0 insertions, 0 deletions