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