odin: copy shared/ directory into ODIN_ROOT

NixOS · Jul 9, 2024 · 9ce24ad · 9ce24ad
1 parent bf99590
commit 9ce24ad
Showing 1 changed file with 1 addition and 3 deletions.
diff --git 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 : ${