From fc15a164cea2f3dd2ed208afb93da3b38431040b Mon Sep 17 00:00:00 2001 From: Stefan Kalkowski Date: Thu, 4 Jan 2024 15:29:37 +0100 Subject: [PATCH] tool/dde_linux/create_dummies: preserve env Instead of resetting the whole environment only remove the TARGET variable to make GNU Make 4.4 happy. Fix genodelabs/genode#5084 --- tool/dde_linux/create_dummies | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/tool/dde_linux/create_dummies b/tool/dde_linux/create_dummies index 7100002ea6..150d32378d 100755 --- a/tool/dde_linux/create_dummies +++ b/tool/dde_linux/create_dummies @@ -154,10 +154,10 @@ endif # LINUX_KERNEL_DIR specified # # Collect undefined references for target # -# use 'env - ' to reset environment, especially TARGET because it will be used by Genode's build sytem +# Remove TARGET variable from environment, because it will be used by Genode's build sytem # during linking later on and not point to the actual build TARGET (GNU Make 4.4+) # -UNDEF_REFS := $(sort $(subst `,,$(subst ',,$(shell env - PATH=$(PATH) make -C $(BUILD_DIR) $(TARGET) 2>&1 | grep " undefined reference to " | sed -e "s/.* reference to //")))) +UNDEF_REFS := $(sort $(subst `,,$(subst ',,$(shell env -u TARGET make -C $(BUILD_DIR) $(TARGET) 2>&1 | grep " undefined reference to " | sed -e "s/.* reference to //")))) define print_file_header echo "/*" > $(2);