diff options
author | root <root@rshg054.dnsready.net> | 2012-11-20 02:04:03 -0800 |
---|---|---|
committer | root <root@rshg054.dnsready.net> | 2012-11-20 02:04:03 -0800 |
commit | 0a05643b928d724c048e4306955642d91f24d33c (patch) | |
tree | 0a11cb4c40549d5a7359a86fccf6e05f65c52128 /kernels/xen/texi2html.patch | |
parent | 705d29694fd61c47a57ccec531e73d87a2960021 (diff) |
Tue Nov 20 02:04:03 PST 2012
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: |