summaryrefslogtreecommitdiff
path: root/debian
diff options
context:
space:
mode:
authorJustus Winter <4winter@informatik.uni-hamburg.de>2014-04-29 17:43:39 +0200
committerJustus Winter <4winter@informatik.uni-hamburg.de>2014-04-29 17:43:39 +0200
commit139e9a2f8f3bfcc9ef87f40c1d59fccdbfd8575c (patch)
treea4af1a0da4f49dde2587d2317a18226eeff5498e /debian
parentda574123964c4ef3208e77da53f138d76c3f5ae0 (diff)
add xxx-fix-build-paper-over-gnumach-bug.patch
Diffstat (limited to 'debian')
-rw-r--r--debian/patches/series1
-rw-r--r--debian/patches/xxx-fix-build-paper-over-gnumach-bug.patch6
2 files changed, 7 insertions, 0 deletions
diff --git a/debian/patches/series b/debian/patches/series
index 0f4e8365..cad0ebe1 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -45,3 +45,4 @@ ext2fs-two-pagers.patch
#ext2fs-cache-superblock.patch
libpager-singlethreaded.patch
libpager-drop-seqnos.patch
+xxx-fix-build-paper-over-gnumach-bug.patch
diff --git a/debian/patches/xxx-fix-build-paper-over-gnumach-bug.patch b/debian/patches/xxx-fix-build-paper-over-gnumach-bug.patch
new file mode 100644
index 00000000..9e2ae8e0
--- /dev/null
+++ b/debian/patches/xxx-fix-build-paper-over-gnumach-bug.patch
@@ -0,0 +1,6 @@
+diff --git a/utils/mach_debug/mach_debug_types.h b/utils/mach_debug/mach_debug_types.h
+index e69de29..c78d76e 100644
+--- a/utils/mach_debug/mach_debug_types.h
++++ b/utils/mach_debug/mach_debug_types.h
+@@ -0,0 +1 @@
++/* paper over gnumach bug :( */