Merge pull request #417 from VictorClements/main

Update Top Level Makefile
This commit is contained in:
Rose Thompson 2023-10-03 09:36:48 -05:00 committed by GitHub
commit e35d9e721e

View File

@ -4,8 +4,8 @@
all:
make install
make testfloat
make riscof
make riscof
make testfloat
make verify
make coverage
make benchmarks