From 8e655eca6257a41d85d127a0eabae80fa5de7c05 Mon Sep 17 00:00:00 2001
From: Weijia Wang <9713184+wegank@users.noreply.github.com>
Date: Wed, 24 May 2023 12:12:56 +0300
Subject: [PATCH] opengrok: set platforms

---
 pkgs/development/tools/misc/opengrok/default.nix | 1 +
 1 file changed, 1 insertion(+)

diff --git a/pkgs/development/tools/misc/opengrok/default.nix b/pkgs/development/tools/misc/opengrok/default.nix
index 447707241c17..8fe08ac6a609 100644
--- a/pkgs/development/tools/misc/opengrok/default.nix
+++ b/pkgs/development/tools/misc/opengrok/default.nix
@@ -28,5 +28,6 @@ stdenv.mkDerivation rec {
     homepage = "https://opengrok.github.io/OpenGrok/";
     license = licenses.cddl;
     maintainers = [ ];
+    platforms = platforms.all;
   };
 }