diff options
author | Matthew Bauer <mjbauer95@gmail.com> | 2019-04-10 01:31:04 -0400 |
---|---|---|
committer | Matthew Bauer <mjbauer95@gmail.com> | 2019-04-10 01:55:09 -0400 |
commit | ac491d2df7365b304b96a1f3606ae8ba1522ed7d (patch) | |
tree | c07e0e98b0f0b4681aa056fa80491496be9e9999 /lib/systems | |
parent | 67e6e031e1af73f1edfdecf1931b21ecd393e5c1 (diff) |
systems: remove android armv5te platform
this isn’t useful any more because the ndk we use no longer supports it.
Diffstat (limited to 'lib/systems')
-rw-r--r-- | lib/systems/platforms.nix | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/lib/systems/platforms.nix b/lib/systems/platforms.nix index 03bfce256103..92de30162666 100644 --- a/lib/systems/platforms.nix +++ b/lib/systems/platforms.nix @@ -253,16 +253,6 @@ rec { kernelTarget = "zImage"; }; - # https://developer.android.com/ndk/guides/abis#armeabi - armv5te-android = { - name = "armeabi"; - gcc = { - arch = "armv5te"; - float = "soft"; - float-abi = "soft"; - }; - }; - # https://developer.android.com/ndk/guides/abis#v7a armv7a-android = { name = "armeabi-v7a"; |