diff options
author | Frederik Rietdijk <fridh@fridh.nl> | 2019-04-18 08:25:25 +0200 |
---|---|---|
committer | Frederik Rietdijk <fridh@fridh.nl> | 2019-04-18 08:25:25 +0200 |
commit | 9d87ccabce3516cf1cf5654bd95cdc9471f8615e (patch) | |
tree | 0e5f35c10b1a24950685880a51035b3c722bcc9b /lib | |
parent | 488fb5829a677fdf8c52d2abb38834e0d3dc3068 (diff) | |
parent | 28ac30930934a5a0f40b6c585bc967ae3bbbd348 (diff) |
Merge master into staging-next
Diffstat (limited to 'lib')
-rw-r--r-- | lib/fixed-points.nix | 9 | ||||
-rw-r--r-- | lib/systems/platforms.nix | 1 |
2 files changed, 6 insertions, 4 deletions
diff --git a/lib/fixed-points.nix b/lib/fixed-points.nix index 2f818c88de5d..968930526a63 100644 --- a/lib/fixed-points.nix +++ b/lib/fixed-points.nix @@ -30,9 +30,12 @@ rec { # nix-repl> converge (x: x / 2) 16 # 0 converge = f: x: - if (f x) == x - then x - else converge f (f x); + let + x' = f x; + in + if x' == x + then x + else converge f x'; # Modify the contents of an explicitly recursive attribute set in a way that # honors `self`-references. This is accomplished with a function diff --git a/lib/systems/platforms.nix b/lib/systems/platforms.nix index 92de30162666..a2b43c970a41 100644 --- a/lib/systems/platforms.nix +++ b/lib/systems/platforms.nix @@ -258,7 +258,6 @@ rec { name = "armeabi-v7a"; gcc = { arch = "armv7-a"; - float = "hard"; float-abi = "softfp"; fpu = "vfpv3-d16"; }; |