1 files changed, 6 insertions, 1 deletions

diff --git a/gnu/usr.bin/man/lib/util.c b/gnu/usr.bin/man/lib/util.c
index f462e3e2399d2..e8253a8a993ff 100644
--- a/gnu/usr.bin/man/lib/util.c
+++ b/gnu/usr.bin/man/lib/util.c
@@ -19,6 +19,7 @@
 #include <ctype.h>
 #include <sys/types.h>
 #include <sys/stat.h>
+#include <sys/wait.h>
 
 #ifdef STDC_HEADERS
 #include <stdlib.h>
@@ -137,8 +138,12 @@ do_system_command (command)
   else
     status = system (command);
 
-  if (status)
+  if (WIFSIGNALED(status))
     return 0;
+  else if (WEXITSTATUS(status)) {
+    gripe_system_command (status);
+    return 0;
+  }
   else
     return 1;
 }