jdt-language-server: set platforms

2023-08-02 13:23:48 +02:00 · 2023-08-02 13:23:48 +02:00 · b958bdf1b9
parent 82b98eb23f
commit b958bdf1b9
1 changed files with 1 additions and 0 deletions
--- a/pkgs/development/tools/language-servers/jdt-language-server/default.nix
+++ b/pkgs/development/tools/language-servers/jdt-language-server/default.nix
@ -97,5 +97,6 @@ stdenv.mkDerivation rec {
    sourceProvenance = with sourceTypes; [ binaryBytecode ];
    license = licenses.epl20;
    maintainers = with maintainers; [ matt-snider ];
+    platforms = platforms.all;
  };
 }