Merge pull request #325877 from spitulax/odin-fix-ols

odin: copy `shared/` directory into ODIN_ROOT
This commit is contained in:
❄️ 2024-07-10 05:51:41 -03:00 committed by GitHub
commit 3668259ec3
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -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 : ${