From ef732f480f190687a0a94f7b6d651b9cdb26d57f Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Wed, 16 Feb 2022 14:17:07 +0100
Subject: [PATCH] mk: pass KERNEL as environment variable

This is a follow-up fix for "mk/ld.mk: trigger kernel-dependent
ld.lib.so build", which alleviates the need to specify the KERNEL at the
build-system command line. Thanks to Piotr Tworek for reporting.

Issue #4320
---
 tool/builddir/build.mk | 1 +
 1 file changed, 1 insertion(+)

diff --git a/tool/builddir/build.mk b/tool/builddir/build.mk
index 8c24d1a372..4096c03167 100644
--- a/tool/builddir/build.mk
+++ b/tool/builddir/build.mk
@@ -66,6 +66,7 @@ export LIB_DEP_FILE     ?= var/libdeps
 export ECHO             ?= echo -e
 export CONTRIB_DIR
 export BOARD
+export KERNEL
 
 #
 # Convert user-defined directories to absolute directories