Update riscof makefile to use rv32gc config

This commit is contained in:
David Harris 2023-01-27 05:57:58 -08:00
parent 237e3a620f
commit b2c8c37077

View File

@ -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