From 0f0b4b0c1ccce2223f170f2079544ca7c3e57f46 Mon Sep 17 00:00:00 2001
From: David Harris <David_Harris@hmc.edu>
Date: Wed, 6 Dec 2023 07:19:12 -0800
Subject: [PATCH] Added make wally-riscv-arch-test to tests/riscof to only
 build custom tests

---
 tests/riscof/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tests/riscof/Makefile b/tests/riscof/Makefile
index 24b499d11..ffefde40c 100644
--- a/tests/riscof/Makefile
+++ b/tests/riscof/Makefile
@@ -8,8 +8,8 @@ wally_workdir = $(work)/wally-riscv-arch-test
 current_dir = $(shell pwd)
 #XLEN    ?= 64
 
-#all: root wally32 wally64
 all: root arch32 wally32 wally32e arch64 wally64
+wally-riscv-arch-test: root wally32 wally64
 
 root:
 	mkdir -p $(work_dir)