Re: port-ia64/57893: ia64: `build.sh [...] iso-image` installs host's `/netbsd` instead of newly built NetBSD kernel

[Taylor R Campbell <riastradh%NetBSD.org@localhost>]

The following reply was made to PR port-ia64/57893; it has been noted by GNATS.

From: Taylor R Campbell <riastradh%NetBSD.org@localhost>
To: Jan-Benedict Glaw <jbglaw%lug-owl.de@localhost>
Cc: gnats-bugs%NetBSD.org@localhost, netbsd-bugs%NetBSD.org@localhost
Subject: Re: port-ia64/57893: ia64: `build.sh [...] iso-image` installs host's `/netbsd` instead of newly built NetBSD kernel
Date: Tue, 30 Jan 2024 10:55:10 +0000

 Wild guess after 30sec of looking: Missing setting of CDINSTKERNEL in
 this makefile?
 
 Maybe we should put a .error in Makefile.bootcd to detect this case a
 little more obviously.