diff options
Diffstat (limited to 'debian/patches/xxx-fix-build-paper-over-gnumach-bug.patch')
-rw-r--r-- | debian/patches/xxx-fix-build-paper-over-gnumach-bug.patch | 6 |
1 files changed, 6 insertions, 0 deletions
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 :( */ |