Yehowshua/RiscV-Formal
2
0
Fork 1
Code Issues 8 Pull requests Actions Packages Projects Releases Wiki Activity

Add flake #4

Merged
Yehowshua merged 10 commits from Artturin/RiscV-Formal:addnix into main 2025-03-14 15:55:41 +00:00
Conversation 0 Commits 10 Files changed 7 +1 -1
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files
Showing only changes of commit c82dfbe2a7 - Show all commits

2
rv_tests/hello_world/Makefile
View file

@ -28,7 +28,7 @@ $(ELF): $(SRC) $(LDSCRIPT)
$(BIN): $(ELF) $(BIN): $(ELF)
$(OBJCOPY) -O binary $(ELF) $(BIN) $(OBJCOPY) -O binary $(ELF) $(BIN)
# Pad the binary to a multiple of 4 bytes # Pad the binary to a multiple of 4 bytes
size=$$(stat -f%z $(BIN)); \ size=$$(stat -c %s $(BIN)); \
padding=$$(( (4 - (size % 4)) % 4 )); \ padding=$$(( (4 - (size % 4)) % 4 )); \
[ $$padding -ne 0 ] && dd if=/dev/zero bs=1 count=$$padding >> $(BIN) || true [ $$padding -ne 0 ] && dd if=/dev/zero bs=1 count=$$padding >> $(BIN) || true