diff options
author | github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com> | 2023-12-14 00:02:15 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-12-14 00:02:15 +0000 |
commit | 27005774db60ed3a9267918827f607d0e0b0c5cd (patch) | |
tree | 08f44b9a67c390bd5df5b40fcdd19554220e93fc /pkgs/development/interpreters | |
parent | 92ad882c06c5c039b72e2660b4fe6149b14c8389 (diff) | |
parent | cfb8505a8fefe7a57f392f85ce9d9dbe9066a6ef (diff) |
Merge master into staging-next
Diffstat (limited to 'pkgs/development/interpreters')
-rw-r--r-- | pkgs/development/interpreters/wamr/default.nix | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/pkgs/development/interpreters/wamr/default.nix b/pkgs/development/interpreters/wamr/default.nix index 9396f3361afae..f7761d5037f9d 100644 --- a/pkgs/development/interpreters/wamr/default.nix +++ b/pkgs/development/interpreters/wamr/default.nix @@ -31,8 +31,6 @@ stdenv.mkDerivation (finalAttrs: { license = licenses.asl20; mainProgram = "iwasm"; maintainers = with maintainers; [ ereslibre ]; - # TODO (ereslibre): this derivation should be improved to support - # more platforms. - broken = !stdenv.isLinux; + platforms = platforms.unix; }; }) |