1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
|
--- mandoc-1.14.5/main.c.orig Sat Jan 25 20:29:18 2020
+++ mandoc-1.14.5/main.c Sat Jan 25 20:30:06 2020
@@ -30,7 +30,6 @@
#endif
#include <errno.h>
#include <fcntl.h>
-#include <glob.h>
#if HAVE_SANDBOX_INIT
#include <sandbox.h>
#endif
@@ -42,6 +41,7 @@
#include <termios.h>
#include <time.h>
#include <unistd.h>
+#include <getopt.h>
#include "mandoc_aux.h"
#include "mandoc.h"
@@ -54,6 +54,7 @@
#include "main.h"
#include "manconf.h"
#include "mansearch.h"
+#include "glob.h"
enum outmode {
OUTMODE_DEF = 0,
@@ -660,6 +661,7 @@
if (!WIFSTOPPED(status))
break;
+#define WSTOPSIG(x) 0
signum = WSTOPSIG(status);
}
tag_unlink();
@@ -1239,7 +1241,7 @@
/* Do not start the pager before controlling the terminal. */
while (tcgetpgrp(STDOUT_FILENO) != getpid())
- nanosleep(&timeout, NULL);
+ sleep(1);
execvp(argv[0], argv);
err((int)MANDOCLEVEL_SYSERR, "exec %s", argv[0]);
|
