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 /libgcc | |
| 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 'libgcc')
| -rw-r--r-- | libgcc/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/libgcc/Makefile b/libgcc/Makefile index 721d9d2..1aec873 100644 --- a/libgcc/Makefile +++ b/libgcc/Makefile @@ -1,4 +1,4 @@ -ifneq (,$(wildcard $(DEVKITARM)/base_tools)) +ifneq (,$(wildcard $(DEVKITARM)/bin)) include $(DEVKITARM)/base_tools else PREFIX := arm-none-eabi- |