From 44b973e3b6ad8707fa82067a293507620aedd321 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=C3=81lex?= Date: Fri, 22 May 2026 12:13:44 +0200 Subject: [PATCH] fix(build): fix missing string formatting part (#30) --- .github/resources/witness-generator/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/resources/witness-generator/Makefile b/.github/resources/witness-generator/Makefile index f53c864..7d26905 100644 --- a/.github/resources/witness-generator/Makefile +++ b/.github/resources/witness-generator/Makefile @@ -65,7 +65,7 @@ $(BIN): $(COMMON_OBJS) $(LIB): $(LIB_OBJS) ld -r -o $(LOCAL_OBJ) $(filter-out fr.o,$^) - $(OBJCOPY) $(foreach s,$(PUBLIC_SYMS),--keep-global-symbol=$(s)) $(LOCAL_OBJ) + $(OBJCOPY) $(foreach sym,$(PUBLIC_SYMS),--keep-global-symbol=$(SYM_PREFIX)$(sym)) $(LOCAL_OBJ) ar rcs $@ fr.o $(LOCAL_OBJ) rm $(LOCAL_OBJ)