From a8137eef51aa0769b9e7f4ebd5543968aabe404b Mon Sep 17 00:00:00 2001 From: Christophe de Dinechin Date: Mon, 19 Oct 2020 14:44:59 +0200 Subject: [PATCH] Makefile: Replace @RUNTIME_NAME@ with the target in generated files In commit 966bd57 for PR #902, the makefile was changed to automate the replacement of user variables. However, one variable was treated specially in the original `sed` replacements, namely `RUNTIME_NAME` which was replaced by `$(TARGET)`. This commit adds the `RUNTIME_NAME` variable to the makefile in order to ensure that the replacement works correctly. Fixes: #993 Fixes: #1164 Signed-off-by: Christophe de Dinechin (cherry-picked from 96a4ed7d709d1eef31b2421f5a88d8f500583ea0) --- src/runtime/Makefile | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/runtime/Makefile b/src/runtime/Makefile index 16b5e84d3f..742cf3a401 100644 --- a/src/runtime/Makefile +++ b/src/runtime/Makefile @@ -93,6 +93,9 @@ DEFAULTSDIR := $(SHAREDIR)/defaults COLLECT_SCRIPT = data/kata-collect-data.sh COLLECT_SCRIPT_SRC = $(COLLECT_SCRIPT).in +# @RUNTIME_NAME@ should be replaced with the target in generated files +RUNTIME_NAME = $(TARGET) + GENERATED_FILES += $(COLLECT_SCRIPT) GENERATED_VARS = \ VERSION \