logos-blockchain/logos-blockchain-circuits
1
0
Fork 0
mirror of https://github.com/logos-blockchain/logos-blockchain-circuits.git synced 2026-07-30 20:53:30 +00:00
Code Issues Packages Projects Releases Wiki Activity

Fix missing string formatting part.

Browse Source
This commit is contained in:
Alejandro Cabeza Romero 2026-05-22 11:51:24 +02:00
parent 2ec79ffce2
commit 6d819506ea
No known key found for this signature in database
GPG Key ID: DA3D14AE478030FD
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)