[src/trunk]: src/sys/stand/efiboot If a device tree overlay does not have a "...

[thorpej <thorpej%NetBSD.org@localhost>]

details:   https://anonhg.NetBSD.org/src/rev/f16bbd41b8e0
branches:  trunk
changeset: 933268:f16bbd41b8e0
user:      thorpej <thorpej%NetBSD.org@localhost>
date:      Sat May 23 16:40:41 2020 +0000

description:
If a device tree overlay does not have a "compatible" match, don't
load it.  (Oops, missing return statement.)

diffstat:

 sys/stand/efiboot/exec.c |  3 ++-
 1 files changed, 2 insertions(+), 1 deletions(-)

diffs (17 lines):

diff -r eac8f59a3ab6 -r f16bbd41b8e0 sys/stand/efiboot/exec.c
--- a/sys/stand/efiboot/exec.c  Sat May 23 14:52:45 2020 +0000
+++ b/sys/stand/efiboot/exec.c  Sat May 23 16:40:41 2020 +0000
@@ -1,4 +1,4 @@
-/* $NetBSD: exec.c,v 1.14 2020/05/14 19:20:08 riastradh Exp $ */
+/* $NetBSD: exec.c,v 1.15 2020/05/23 16:40:41 thorpej Exp $ */
 
 /*-
  * Copyright (c) 2019 Jason R. Thorpe
@@ -199,6 +199,7 @@
 
        if (!efi_fdt_overlay_is_compatible(dtbo)) {
                printf("boot: incompatible overlay\n");
+               return;
        }
 
        int fdterr;