diff options
author | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2017-01-17 22:38:55 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-01-17 22:38:55 -0500 |
commit | 70dd455c8e97ba60ab9f8983a4b98372c9ec615e (patch) | |
tree | dbbdc42a8bf9a6c4b1a114431fe0081240a0cd3e /src/shared | |
parent | 542ca7c9d2e4eea93771c4f829972d42fea7602b (diff) |
pid1: provide a more detailed error message when execution fails (#5074)
Fixes #5000.
Diffstat (limited to 'src/shared')
0 files changed, 0 insertions, 0 deletions