Fix path to retrieve the logos header files

This commit is contained in:
Arnaud 2026-01-22 18:48:15 +04:00
parent 747e7819e1
commit bc5ed92847
No known key found for this signature in database
GPG Key ID: 20E40A5D3110766F

View File

@ -76,9 +76,9 @@ pkgs.stdenv.mkDerivation {
fi
# Also install the generated include files
if [ -d "./generated_code/include" ]; then
if [ -d "../generated_code/include" ]; then
mkdir -p $out/include
cp -r ./generated_code/include/* $out/include/
cp -r ../generated_code/include/* $out/include/
echo "Installed generated include files:"
ls -la $out/include/
fi