Merge pull request #93411 from danieldk/dbxml-multiple-outputs

dbxml: use multiple outputs
This commit is contained in:
Daniël de Kok 2020-07-22 09:27:17 +02:00 committed by GitHub
commit e6b2930cf6
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -9,6 +9,8 @@ stdenv.mkDerivation rec {
sha256 = "a8fc8f5e0c3b6e42741fa4dfc3b878c982ff8f5e5f14843f6a7e20d22e64251a";
};
outputs = [ "bin" "dev" "out" ];
patches = [
./cxx11.patch
./incorrect-optimization.patch