diff options
| author | John Baldwin <jhb@FreeBSD.org> | 2016-05-26 23:07:20 +0000 |
|---|---|---|
| committer | John Baldwin <jhb@FreeBSD.org> | 2016-05-26 23:07:20 +0000 |
| commit | 72bc6425a9f43c362a71d6022c4b877bd900dd4a (patch) | |
| tree | ba5114fe22b929d20c041d7e2768091498331801 | |
| parent | b4f9242404c637857578ed88a82392c92c269bec (diff) | |
| download | src-72bc6425a9f43c362a71d6022c4b877bd900dd4a.tar.gz src-72bc6425a9f43c362a71d6022c4b877bd900dd4a.zip | |
Apply the printf %S band-aid for efinet.c to fix the arm64 build.
Notes
Notes:
svn path=/head/; revision=300790
| -rw-r--r-- | sys/boot/efi/libefi/Makefile | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/sys/boot/efi/libefi/Makefile b/sys/boot/efi/libefi/Makefile index c1ee1c6de01d..d7b0c7d13080 100644 --- a/sys/boot/efi/libefi/Makefile +++ b/sys/boot/efi/libefi/Makefile @@ -7,6 +7,13 @@ WARNS?= 2 SRCS= delay.c devpath.c efi_console.c efinet.c efipart.c env.c errno.c \ handles.c libefi.c time.c +# We implement a slightly non-standard %S in that it always takes a +# CHAR16 that's common in UEFI-land instead of a wchar_t. This only +# seems to matter on arm64 where wchar_t defaults to an int instead +# of a short. There's no good cast to use here so just ignore the +# warnings for now. +CWARNFLAGS.efinet.c+= -Wno-format + .if ${MACHINE_CPUARCH} == "aarch64" CFLAGS+= -msoft-float -mgeneral-regs-only .endif |