diff options
author | makoehr <30856468+makoehr@users.noreply.github.com> | 2017-08-09 08:39:26 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-08-09 08:39:26 +0200 |
commit | 9612657535ed86a5eb68a2d6fc0ea8ba0ff6ea75 (patch) | |
tree | b72757eb3d077fabfb4ec10743df52d8f4394113 /config/arch | |
parent | bcaec4d80a1099a1039520cae47f11957809e217 (diff) | |
download | crosstool-ng-9612657535ed86a5eb68a2d6fc0ea8ba0ff6ea75.tar.gz crosstool-ng-9612657535ed86a5eb68a2d6fc0ea8ba0ff6ea75.tar.bz2 crosstool-ng-9612657535ed86a5eb68a2d6fc0ea8ba0ff6ea75.zip |
Update nios2.in
Diffstat (limited to 'config/arch')
-rw-r--r-- | config/arch/nios2.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/config/arch/nios2.in b/config/arch/nios2.in index fb63e4b6..e0241020 100644 --- a/config/arch/nios2.in +++ b/config/arch/nios2.in @@ -2,6 +2,7 @@ ## select ARCH_SUPPORTS_32 ## select ARCH_DEFAULT_32 +## select ARCH_SUPPORTS_BOTH_MMU ## select ARCH_DEFAULT_LE ## select ARCH_SUPPORTS_WITH_ARCH ## |