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 93b12ff942
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 testfloat
make verify
make coverage
make benchmarks