Merge pull request sysprog21#426 from visitorckw/fix-missing-rc32fc-test

jserv · web-flow · commit 9c4a257eaa4b · 2024-05-05T16:24:04.000+08:00
CI: Reinstate rv32fc test suite
diff --git a/.ci/riscv-tests.sh b/.ci/riscv-tests.sh
@@ -11,3 +11,4 @@ export PATH=`pwd`/toolchain/riscv/bin:$PATH
 
 make clean
 make arch-test RISCV_DEVICE=IMAFCZicsrZifencei || exit 1
+make arch-test RISCV_DEVICE=FCZicsr || exit 1

Original file line number	Diff line number	Diff line change
@@ -11,3 +11,4 @@ export PATH=`pwd`/toolchain/riscv/bin:$PATH
`11`	`11`
`12`	`12`	`make clean`
`13`	`13`	`make arch-test RISCV_DEVICE=IMAFCZicsrZifencei \|\| exit 1`
	`14`	`+make arch-test RISCV_DEVICE=FCZicsr \|\| exit 1`