Update Makefile

"make riscof" and "make testfloat" were run in backward order, leading to some of the make issues when a user is setting up for the very first time.
This commit is contained in:
VictorClements 2023-10-03 07:32:45 -07:00 committed by GitHub
parent 5de6b466b7
commit e77e4d74e9
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

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