profiles: Remove nios2 arch
authorMichał Górny <mgorny@gentoo.org>
Sun, 11 Feb 2018 18:43:53 +0000 (19:43 +0100)
committerMichał Górny <mgorny@gentoo.org>
Sun, 11 Feb 2018 18:53:27 +0000 (19:53 +0100)
commitdd3ad1f5f47838fdb9cf5ce3b4adb2eadac6358e
treed2514afd91c9234c63ae023077d7cd842d456c13
parent496de51275ba34e4f50655d8ce9cfd86a287aad3
profiles: Remove nios2 arch

Closes: https://bugs.gentoo.org/644754
profiles/arch.list
profiles/arch/base/make.defaults
profiles/arch/base/use.mask
profiles/embedded/make.defaults