diff options
| author | Justus Winter <4winter@informatik.uni-hamburg.de> | 2014-03-15 14:38:04 +0100 |
|---|---|---|
| committer | Justus Winter <4winter@informatik.uni-hamburg.de> | 2014-03-25 08:55:55 +0100 |
| commit | 6d5511668545d00da4e3e5dd142b4f082c76b083 (patch) | |
| tree | 6907f3ec15f886bc1f0426c354fdc6cb63eb48a6 | |
| parent | 1e981ffc8654910d868bac129c48b1381b935945 (diff) | |
mach-defpager: fix local includes
* mach-defpager/default_pager.c: Fix local includes.
* mach-defpager/main.c: Likewise.
* mach-defpager/setup.c: Likewise.
| -rw-r--r-- | mach-defpager/default_pager.c | 8 | ||||
| -rw-r--r-- | mach-defpager/main.c | 2 | ||||
| -rw-r--r-- | mach-defpager/setup.c | 4 |
3 files changed, 7 insertions, 7 deletions
diff --git a/mach-defpager/default_pager.c b/mach-defpager/default_pager.c index ed0376fc..eb444a6b 100644 --- a/mach-defpager/default_pager.c +++ b/mach-defpager/default_pager.c @@ -42,10 +42,10 @@ #include <device/device_types.h> #include <device/device.h> -#include <queue.h> -#include <wiring.h> -#include <kalloc.h> -#include <default_pager.h> +#include "queue.h" +#include "wiring.h" +#include "kalloc.h" +#include "default_pager.h" #include <assert.h> #include <errno.h> diff --git a/mach-defpager/main.c b/mach-defpager/main.c index fe6f735f..e33c2b33 100644 --- a/mach-defpager/main.c +++ b/mach-defpager/main.c @@ -43,7 +43,7 @@ #include <hurd/fd.h> /* XXX */ -#include <default_pager.h> +#include "default_pager.h" mach_port_t bootstrap_master_device_port; /* local name */ mach_port_t bootstrap_master_host_port; /* local name */ diff --git a/mach-defpager/setup.c b/mach-defpager/setup.c index 7c1afbc9..e4ec8d96 100644 --- a/mach-defpager/setup.c +++ b/mach-defpager/setup.c @@ -25,8 +25,8 @@ #include <string.h> #include <strings.h> -#include <default_pager.h> -#include <kalloc.h> +#include "default_pager.h" +#include "kalloc.h" #include "file_io.h" #include "default_pager_S.h" |