diff options
| author | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2014-07-31T08·31+0200 |
|---|---|---|
| committer | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2014-07-31T08·31+0200 |
| commit | 50dc1f5b71f7e0e4ba628904b9a47d9f9d875b3e (patch) | |
| tree | 770054765d335695236e3c1c26f952a9aa76ff29 /src/libmain/shared.cc | |
| parent | 45f9a91e186d91edbf2bed7d27b7fa7227730596 (diff) | |
Restore default SIGPIPE handler before invoking ‘man’
Fixes NixOS/nixpkgs#3410.
Diffstat (limited to 'src/libmain/shared.cc')
| -rw-r--r-- | src/libmain/shared.cc | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/libmain/shared.cc b/src/libmain/shared.cc index 14263446fe..47c38e33e6 100644 --- a/src/libmain/shared.cc +++ b/src/libmain/shared.cc @@ -244,9 +244,9 @@ static void initAndRun(int argc, char * * argv) void showManPage(const string & name) { - string cmd = "man " + name; - if (system(cmd.c_str()) != 0) - throw Error(format("command `%1%' failed") % cmd); + restoreSIGPIPE(); + execlp("man", "man", name.c_str(), NULL); + throw SysError(format("command `man %1%' failed") % name.c_str()); } |