Merge pull request #231363 from trofi/webrtc-audio-processing-dev-output

webrtc-audio-processing: split headers to "dev" output
2023-05-17 07:32:26 +01:00
parent c563010e67 b433ce9eb9
commit 5d5cfe4312
1 changed files with 2 additions and 0 deletions
@@ -9,6 +9,8 @@ stdenv.mkDerivation rec {
    sha256 = "1gsx7k77blfy171b6g3m0k0s0072v6jcawhmx1kjs9w5zlwdkzd0";
  };

+  outputs = [ "out" "dev" ];
+
  patches = [
    ./enable-riscv.patch
    ./enable-powerpc.patch