diff options
author | Eelco Dolstra <edolstra@gmail.com> | 2017-02-01T12·00+0100 |
---|---|---|
committer | Eelco Dolstra <edolstra@gmail.com> | 2017-02-01T12·00+0100 |
commit | 7a65b2470eb53a320749d76746fbf65790183d9d (patch) | |
tree | 696a327d3a17a676d9ab9b723e8abcd7a7cef3ed /src/nix-build/nix-build.cc | |
parent | 583ff4ec46fe1fa758f0fa4df1d8b37d9192736c (diff) |
Restore default signal handling in child processes
In particular, this fixes Ctrl-C in nix-shell sessions.
Diffstat (limited to 'src/nix-build/nix-build.cc')
-rwxr-xr-x | src/nix-build/nix-build.cc | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/nix-build/nix-build.cc b/src/nix-build/nix-build.cc index 3eb2d2c0b7a9..ee030c57b6b3 100755 --- a/src/nix-build/nix-build.cc +++ b/src/nix-build/nix-build.cc @@ -452,6 +452,8 @@ int main(int argc, char ** argv) auto argPtrs = stringsToCharPtrs(args); + restoreSignals(); + execvp(getEnv("NIX_BUILD_SHELL", "bash").c_str(), argPtrs.data()); throw SysError("executing shell"); |