diff options
| author | Luca Bruno <lucabru@src.gnome.org> | 2014-08-09 12:28:16 +0200 |
|---|---|---|
| committer | Luca Bruno <lucabru@src.gnome.org> | 2014-08-09 12:31:33 +0200 |
| commit | b331ae33d7c35fdda5cfa0ede0fc0f21f1b6224c (patch) | |
| tree | 06d650bed07c96c115a630ebe517a257dc6e1bc2 /lib/platforms.nix | |
| parent | 9300470b5ec507806a30e3de8edd3a695ac585fa (diff) | |
Make platforms.allBut accept a list rather than a single platform
Diffstat (limited to 'lib/platforms.nix')
| -rw-r--r-- | lib/platforms.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/platforms.nix b/lib/platforms.nix index 76df389deacdb..44a56b659c723 100644 --- a/lib/platforms.nix +++ b/lib/platforms.nix @@ -11,6 +11,6 @@ rec { unix = linux ++ darwin ++ freebsd ++ openbsd; all = linux ++ darwin ++ cygwin ++ freebsd ++ openbsd; none = []; - allBut = platform: lists.filter (x: platform != x) all; + allBut = platforms: lists.filter (x: !(builtins.elem x platforms)) all; mesaPlatforms = ["i686-linux" "x86_64-linux" "x86_64-darwin" "armv5tel-linux" "armv6l-linux"]; } |