php: Add a dev output

This reduces the closure size from 438 to 174 MiB.
This commit is contained in:
Eelco Dolstra 2017-03-20 16:56:12 +01:00
parent 3ff08d6f13
commit b751036a74
No known key found for this signature in database
GPG Key ID: 8170B4726D7198DE

View File

@ -308,6 +308,8 @@ let
stripDebugList = "bin sbin lib modules";
outputs = [ "out" "dev" ];
});
in {