nixpkgs/pkgs/os-specific
2007-03-16 16:16:59 +00:00
..
linux * Don't use /dev/stdout because it isn't writable when the build user doesn't own stdout. 2007-03-16 16:16:59 +00:00