diff options
| -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 :( */ |