xen-stubdom-build.patch

   1 --- xen-4.9.0/stubdom/Makefile.orig     2017-07-30 20:44:13.036244212 +0200
   2 +++ xen-4.9.0/stubdom/Makefile  2017-07-30 21:04:31.269563636 +0200
   3 @@ -178,6 +178,7 @@
   4         rm $@ -rf || :
   5         mv gmp-$(GMP_VERSION) $@
   6         #patch -d $@ -p0 < gmp.patch
   7 +       sed -i.bak 's/\(\s*\)\(fprintf (f,\)\(.*\)/\1\2\3\n\1clearerr(f);/' $@/configure
   8         cd $@; CPPFLAGS="-isystem $(CROSS_PREFIX)/$(GNU_TARGET_ARCH)-xen-elf/include $(TARGET_CPPFLAGS)" CFLAGS="$(TARGET_CFLAGS)" CC=$(CC) $(GMPEXT) ./configure --disable-shared --enable-static --disable-fft --without-readline --prefix=$(CROSS_PREFIX)/$(GNU_TARGET_ARCH)-xen-elf --libdir=$(CROSS_PREFIX)/$(GNU_TARGET_ARCH)-xen-elf/lib --build=`gcc -dumpmachine` --host=$(GNU_TARGET_ARCH)-xen-elf
   9         sed -i 's/#define HAVE_OBSTACK_VPRINTF 1/\/\/#define HAVE_OBSTACK_VPRINTF 1/' $@/config.h
  10         touch $@