diff options
Diffstat (limited to 'stubdom/Makefile')
-rw-r--r-- | stubdom/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/stubdom/Makefile b/stubdom/Makefile index ce25b05aad..15048f08a1 100644 --- a/stubdom/Makefile +++ b/stubdom/Makefile @@ -101,6 +101,7 @@ newlib-$(NEWLIB_VERSION): newlib-$(NEWLIB_VERSION).tar.gz tar xzf $< patch -d $@ -p0 < newlib.patch patch -d $@ -p0 < newlib-chk.patch + patch -d $@ -p1 < newlib-stdint-size_max-fix-from-1.17.0.patch touch $@ NEWLIB_STAMPFILE=$(CROSS_ROOT)/$(GNU_TARGET_ARCH)-xen-elf/lib/libc.a |