diff options
| author | David Boddie <david@boddie.org.uk> | 2022-12-10 01:42:47 +0100 |
|---|---|---|
| committer | David Boddie <david@boddie.org.uk> | 2023-11-16 16:44:28 +0100 |
| commit | da381efbb790e33a14f8ff1c041a2ce5be315924 (patch) | |
| tree | ff3a522d409f6e0c6c6321e4903bc0db9c7cc89a /lib | |
| parent | 099dd430c543304921f6ba57934a430689b2cb4c (diff) | |
Build the Thumb suite by default.
Create a library directory for Thumb-native Inferno.
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/emptydirs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/emptydirs b/lib/emptydirs index 10234dc1..d2f94c40 100644 --- a/lib/emptydirs +++ b/lib/emptydirs @@ -10,6 +10,7 @@ Inferno/power/bin Inferno/power/lib Inferno/sparc/bin Inferno/sparc/lib +Inferno/thumb/lib Irix/mips/lib Linux/386/lib Linux/arm/bin |