diff options
| author | Denis Vlasenko <vda.linux@googlemail.com> | 2008-06-02 23:46:16 +0000 |
|---|---|---|
| committer | Denis Vlasenko <vda.linux@googlemail.com> | 2008-06-02 23:46:16 +0000 |
| commit | a1c0be1a06608e67d416744159e3e495d93b8254 (patch) | |
| tree | 260300b7aa83b9fed889d8de6d0a67573a58611d /extra/Configs/Config.e1 | |
| parent | 0b0a9a449d38232d87667344b8f54351958f9456 (diff) | |
Rename HAVE_NO_SHARED to ARCH_HAS_NO_SHARED, otherwise it's too confusing
with HAVE_SHARED
Diffstat (limited to 'extra/Configs/Config.e1')
| -rw-r--r-- | extra/Configs/Config.e1 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/extra/Configs/Config.e1 b/extra/Configs/Config.e1 index 6f47da29e..144d9d34d 100644 --- a/extra/Configs/Config.e1 +++ b/extra/Configs/Config.e1 @@ -12,7 +12,7 @@ config FORCE_OPTIONS_FOR_ARCH default y select ARCH_BIG_ENDIAN select ARCH_HAS_NO_MMU - select HAVE_NO_SHARED + select ARCH_HAS_NO_SHARED config ARCH_E1 bool |