On Fri, Feb 03, 2017 at 05:24:43PM +0000, Roy Marples wrote: > Module Name: src > Committed By: roy > Date: Fri Feb 3 17:24:43 UTC 2017 > > Modified Files: > src/sys/arch/i386/stand/efiboot: Makefile.efiboot > > Log Message: > Fix build with clang.
Instead of disabling the noreturn validation, please mark reboot properly as dead, with a __builtin_unreachable() at the end if necessary. Joerg
