logos-blockchain/logos-blockchain-circuits
1
0
Fork 0
mirror of https://github.com/logos-blockchain/logos-blockchain-circuits.git synced 2026-05-23 09:49:26 +00:00
Code Issues Packages Projects Releases Wiki Activity

fix(build): fix missing string formatting part (#30)

Browse Source
This commit is contained in:
Álex 2026-05-22 12:13:44 +02:00 committed by GitHub
parent 0ea85cf67d
commit 44b973e3b6
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
.github/resources/witness-generator/Makefile vendored
View File

@ -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)