diff options
| author | Tom Hubrecht <github@mail.hubrecht.ovh> | 2024-05-28 13:14:13 +0200 |
|---|---|---|
| committer | Tom Hubrecht <github@mail.hubrecht.ovh> | 2024-05-29 11:01:34 +0200 |
| commit | 9a52e4688ca265155817817f373938428f023966 (patch) | |
| tree | b90975deb9def6b8cb7c3ffe2510b7318df37d93 /src/libmain/shared.hh | |
| parent | 8cd9aa24a8d48caf22225ce32dff3c5aaa111687 (diff) | |
util.{hh,cc}: Split out processes.{hh,cc}
Change-Id: I39280dc40ca3f7f9007bc6c898ffcf760e2238b7
Diffstat (limited to 'src/libmain/shared.hh')
| -rw-r--r-- | src/libmain/shared.hh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/libmain/shared.hh b/src/libmain/shared.hh index a7810f77c..907f336f1 100644 --- a/src/libmain/shared.hh +++ b/src/libmain/shared.hh @@ -7,6 +7,7 @@ #include "common-args.hh" #include "path.hh" #include "derived-path.hh" +#include "processes.hh" #include "exit.hh" #include <signal.h> |