diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2017-07-20T11·32+0200 |
|---|---|---|
| committer | Eelco Dolstra <edolstra@gmail.com> | 2017-07-20T11·50+0200 |
| commit | c94f3d5575d7af5403274d1e9e2f3c9d72989751 (patch) | |
| tree | d6a302d585ed8f38a8a8d959b74bee44b7d77370 /src/libmain/shared.hh | |
| parent | 57a30e101b36a064f09619bf4a3f0b8a3fdcdcad (diff) | |
nix-shell: Use bashInteractive from <nixpkgs>
This adds about 0.1s to nix-shell runtime in the case where bashInteractive already exists. See discussion at https://github.com/NixOS/nixpkgs/issues/27493.
Diffstat (limited to 'src/libmain/shared.hh')
0 files changed, 0 insertions, 0 deletions