Skip to content

Commit

Permalink
Add a newline to the CSVs from make download
Browse files Browse the repository at this point in the history
Otherwise pre-commit will complain.
  • Loading branch information
arichardson committed Jan 29, 2024
1 parent f91dac1 commit 8798815
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions Makefile
Original file line number Diff line number Diff line change
Expand Up @@ -158,8 +158,10 @@ $(GEN_SRC) &: $(CSVS) $(GEN_SCRIPT)
$(CSVS) &:
@echo " DOWN CSV (isa)"
@curl -Lo src/csv/CHERI_ISA.csv "$(URL_ISA)"
@echo >> src/csv/CHERI_ISA.csv
@echo " DOWN CSV (csr)"
@curl -Lo src/csv/CHERI_CSR.csv "$(URL_CSR)"
@echo >> src/csv/CHERI_CSR.csv

# Clean
clean:
Expand Down

0 comments on commit 8798815

Please sign in to comment.