From 7fbbed7927de65ff3135e7bfce63e19210f91ccf 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 2918494dd..d963e4f0d 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