diff options
Diffstat (limited to 'configs/linux-x86-32')
| -rw-r--r-- | configs/linux-x86-32 | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/configs/linux-x86-32 b/configs/linux-x86-32 deleted file mode 100644 index f18ce7a4596..00000000000 --- a/configs/linux-x86-32 +++ /dev/null @@ -1,7 +0,0 @@ -# To build Linux x86 32-bit in an x86-64 environment - -include $(TOP)/configs/linux-x86 - -CONFIG_NAME = linux-x86-32 - -ARCH_FLAGS += -m32 |