From 13429820e72cee59b7d742c2f614a80efaf2a890 Mon Sep 17 00:00:00 2001
From: Justus Winter <4winter@informatik.uni-hamburg.de>
Date: Tue, 29 Apr 2014 19:23:20 +0200
Subject: well, that was pointless ... and again...

---
 .../xxx-fix-build-paper-over-gnumach-bug.patch     | 26 +++++++++++-----------
 1 file changed, 13 insertions(+), 13 deletions(-)

(limited to 'debian')

diff --git a/debian/patches/xxx-fix-build-paper-over-gnumach-bug.patch b/debian/patches/xxx-fix-build-paper-over-gnumach-bug.patch
index e24adb5a..532df33f 100644
--- a/debian/patches/xxx-fix-build-paper-over-gnumach-bug.patch
+++ b/debian/patches/xxx-fix-build-paper-over-gnumach-bug.patch
@@ -1,14 +1,14 @@
-commit 757c3cf8189ffbfcddd222c544179938e885bd2c
+commit b545ca4943d9f093d933700abef352892da5ba87
 Author: Justus Winter <4winter@informatik.uni-hamburg.de>
 Date:   Tue Apr 29 18:25:53 2014 +0200
 
     xxx fix build
 
-diff --git a/utils/mach_debug/hash_info.h b/utils/mach_debug/hash_info.h
+diff --git a/mach_debug/hash_info.h b/mach_debug/hash_info.h
 new file mode 100644
 index 0000000..6944277
 --- /dev/null
-+++ b/utils/mach_debug/hash_info.h
++++ b/mach_debug/hash_info.h
 @@ -0,0 +1,41 @@
 +/*
 + * Mach Operating System
@@ -51,11 +51,11 @@ index 0000000..6944277
 +typedef hash_info_bucket_t *hash_info_bucket_array_t;
 +
 +#endif	/* _MACH_DEBUG_HASH_INFO_H_ */
-diff --git a/utils/mach_debug/ipc_info.h b/utils/mach_debug/ipc_info.h
+diff --git a/mach_debug/ipc_info.h b/mach_debug/ipc_info.h
 new file mode 100644
 index 0000000..ef0b0c6
 --- /dev/null
-+++ b/utils/mach_debug/ipc_info.h
++++ b/mach_debug/ipc_info.h
 @@ -0,0 +1,100 @@
 +/*
 + * Mach Operating System
@@ -157,11 +157,11 @@ index 0000000..ef0b0c6
 +#define IPC_INFO_TYPE_PAGING_NAME	12
 +
 +#endif	/* _MACH_DEBUG_IPC_INFO_H_ */
-diff --git a/utils/mach_debug/mach_debug_types.h b/utils/mach_debug/mach_debug_types.h
+diff --git a/mach_debug/mach_debug_types.h b/mach_debug/mach_debug_types.h
 new file mode 100644
 index 0000000..9c7d1fd
 --- /dev/null
-+++ b/utils/mach_debug/mach_debug_types.h
++++ b/mach_debug/mach_debug_types.h
 @@ -0,0 +1,51 @@
 +/*
 + * Mach Operating System
@@ -214,11 +214,11 @@ index 0000000..9c7d1fd
 +typedef char	kernel_debug_name_t[KERNEL_DEBUG_NAME_MAX];
 +
 +#endif	/* _MACH_DEBUG_MACH_DEBUG_TYPES_H_ */
-diff --git a/utils/mach_debug/pc_info.h b/utils/mach_debug/pc_info.h
+diff --git a/mach_debug/pc_info.h b/mach_debug/pc_info.h
 new file mode 100644
 index 0000000..bc43fa8
 --- /dev/null
-+++ b/utils/mach_debug/pc_info.h
++++ b/mach_debug/pc_info.h
 @@ -0,0 +1,43 @@
 +/* 
 + * Permission to use, copy, modify and distribute this software and its
@@ -263,11 +263,11 @@ index 0000000..bc43fa8
 +typedef unsigned int sampled_pc_seqno_t;
 +
 +#endif	_MACH_DEBUG_PC_INFO_H_
-diff --git a/utils/mach_debug/slab_info.h b/utils/mach_debug/slab_info.h
+diff --git a/mach_debug/slab_info.h b/mach_debug/slab_info.h
 new file mode 100644
 index 0000000..37dcb8c
 --- /dev/null
-+++ b/utils/mach_debug/slab_info.h
++++ b/mach_debug/slab_info.h
 @@ -0,0 +1,62 @@
 +/*
 + * Mach Operating System
@@ -331,11 +331,11 @@ index 0000000..37dcb8c
 +typedef cache_info_t *cache_info_array_t;
 +
 +#endif	/* _MACH_DEBUG_SLAB_INFO_H_ */
-diff --git a/utils/mach_debug/vm_info.h b/utils/mach_debug/vm_info.h
+diff --git a/mach_debug/vm_info.h b/mach_debug/vm_info.h
 new file mode 100644
 index 0000000..70ba887
 --- /dev/null
-+++ b/utils/mach_debug/vm_info.h
++++ b/mach_debug/vm_info.h
 @@ -0,0 +1,132 @@
 +/*
 + * Mach Operating System
-- 
cgit v1.2.3