From e77e4d74e9feaffae916e54c99d7d9e6ef394a08 Mon Sep 17 00:00:00 2001
From: VictorClements <104516656+VictorClements@users.noreply.github.com>
Date: Tue, 3 Oct 2023 07:32:45 -0700
Subject: [PATCH] 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.
---
 Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index 8336fe017..2c445fc46 100644
--- a/Makefile
+++ b/Makefile
@@ -4,8 +4,8 @@
 
 all:
 	make install
-	make testfloat	
-	make riscof
+	make riscof	
+	make testfloat
 	make verify
 	make coverage
 	make benchmarks