From 8798815ff773a72146c97fac479a783b7d6e5197 Mon Sep 17 00:00:00 2001 From: Alex Richardson Date: Mon, 29 Jan 2024 11:04:53 -0800 Subject: [PATCH] Add a newline to the CSVs from `make download` Otherwise pre-commit will complain. --- Makefile | 2 ++ 1 file changed, 2 insertions(+) diff --git a/Makefile b/Makefile index 3de921e2..89b1e179 100644 --- a/Makefile +++ b/Makefile @@ -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: