From 624e3cb81d436282fa9f6ce4fa63203bad236057 Mon Sep 17 00:00:00 2001 From: Mark Wielaard Date: Wed, 13 Jan 2016 22:57:03 +0100 Subject: elflint: Recognize ELFOSABI_FREEBSD which Debian kFreeBSD uses. Signed-off-by: Mark Wielaard --- src/ChangeLog | 4 ++++ src/elflint.c | 6 ++++-- 2 files changed, 8 insertions(+), 2 deletions(-) diff --git a/src/ChangeLog b/src/ChangeLog index af98c4de..707c2717 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,3 +1,7 @@ +2016-01-13 Mark Wielaard + + * elflint.c (check_elf_header): Recognize ELFOSABI_FREEBSD. + 2016-01-08 Mark Wielaard * elfcompress.c (compress_section): Use %zu to print size_t. diff --git a/src/elflint.c b/src/elflint.c index 7a7b9ce4..eae77614 100644 --- a/src/elflint.c +++ b/src/elflint.c @@ -380,9 +380,11 @@ check_elf_header (Ebl *ebl, GElf_Ehdr *ehdr, size_t size) ERROR (gettext ("unknown ELF header version number e_ident[%d] == %d\n"), EI_VERSION, ehdr->e_ident[EI_VERSION]); - /* We currently don't handle any OS ABIs other than Linux. */ + /* We currently don't handle any OS ABIs other than Linux and the + kFreeBSD variant of Debian. */ if (ehdr->e_ident[EI_OSABI] != ELFOSABI_NONE - && ehdr->e_ident[EI_OSABI] != ELFOSABI_LINUX) + && ehdr->e_ident[EI_OSABI] != ELFOSABI_LINUX + && ehdr->e_ident[EI_OSABI] != ELFOSABI_FREEBSD) ERROR (gettext ("unsupported OS ABI e_ident[%d] == '%s'\n"), EI_OSABI, ebl_osabi_name (ebl, ehdr->e_ident[EI_OSABI], buf, sizeof (buf))); -- cgit v1.2.3