From 9ce24ad5fd5b6b483cc2910f6f0bed3277635346 Mon Sep 17 00:00:00 2001
From: Bintang Adiputra Pratama <bintangadiputra@proton.me>
Date: Tue, 9 Jul 2024 22:02:38 +0700
Subject: [PATCH] odin: copy `shared/` directory into ODIN_ROOT

---
 pkgs/by-name/od/odin/package.nix | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/pkgs/by-name/od/odin/package.nix b/pkgs/by-name/od/odin/package.nix
index 0cf308987bbd..36c82e4f21da 100644
--- a/pkgs/by-name/od/odin/package.nix
+++ b/pkgs/by-name/od/odin/package.nix
@@ -58,9 +58,7 @@ stdenv.mkDerivation rec {
     cp odin $out/bin/odin
 
     mkdir -p $out/share
-    cp -r base $out/share/base
-    cp -r core $out/share/core
-    cp -r vendor $out/share/vendor
+    cp -r {base,core,vendor,shared} $out/share
 
     wrapProgram $out/bin/odin \
       --prefix PATH : ${