diff options
Diffstat (limited to 'kernels/xen/texi2html.patch')
| -rw-r--r-- | kernels/xen/texi2html.patch | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/kernels/xen/texi2html.patch b/kernels/xen/texi2html.patch new file mode 100644 index 000000000..8f22773c9 --- /dev/null +++ b/kernels/xen/texi2html.patch @@ -0,0 +1,10 @@ +--- a/tools/Makefile 2012-09-17 22:25:54.683349679 -0500 ++++ b/tools/Makefile 2012-09-17 22:49:08.923331802 -0500 +@@ -164,6 +164,7 @@ + $(QEMU_ROOT)/xen-setup \ + --extra-cflags="$(EXTRA_CFLAGS_QEMU_TRADITIONAL)" \ + $(IOEMU_CONFIGURE_CROSS); \ ++ sed -i 's/number[ ]/number-sections /' Makefile; \ + $(MAKE) install + + subdir-clean-qemu-xen-traditional-dir: |