diff options
author | Justus Winter <4winter@informatik.uni-hamburg.de> | 2014-04-29 17:43:39 +0200 |
---|---|---|
committer | Justus Winter <4winter@informatik.uni-hamburg.de> | 2014-04-29 17:43:39 +0200 |
commit | 139e9a2f8f3bfcc9ef87f40c1d59fccdbfd8575c (patch) | |
tree | a4af1a0da4f49dde2587d2317a18226eeff5498e /debian | |
parent | da574123964c4ef3208e77da53f138d76c3f5ae0 (diff) |
add xxx-fix-build-paper-over-gnumach-bug.patch
Diffstat (limited to 'debian')
-rw-r--r-- | debian/patches/series | 1 | ||||
-rw-r--r-- | debian/patches/xxx-fix-build-paper-over-gnumach-bug.patch | 6 |
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 :( */ |