From b2c8c370777da670eb7dc075edc93af03c5fe5e0 Mon Sep 17 00:00:00 2001 From: David Harris Date: Fri, 27 Jan 2023 05:57:58 -0800 Subject: [PATCH] Update riscof makefile to use rv32gc config --- tests/riscof/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tests/riscof/Makefile b/tests/riscof/Makefile index 2918494d..d963e4f0 100644 --- a/tests/riscof/Makefile +++ b/tests/riscof/Makefile @@ -16,7 +16,7 @@ root: mkdir -p $(work) mkdir -p $(arch_workdir) mkdir -p $(wally_workdir) - sed 's,{0},$(current_dir),g;s,{1},32imc,g' config.ini > config32.ini + sed 's,{0},$(current_dir),g;s,{1},32gc,g' config.ini > config32.ini sed 's,{0},$(current_dir),g;s,{1},64gc,g' config.ini > config64.ini sed 's,{0},$(current_dir),g;s,{1},32e,g' config.ini > config32e.ini