From d89a187ce8a69af94ee35b80fba7b40a77ea8e2c Mon Sep 17 00:00:00 2001
From: slmnemo <nicholas.lucioforlife@yahoo.com>
Date: Fri, 5 Apr 2024 20:44:11 -0700
Subject: [PATCH] Fixed commit where Linux Makefile always built Linux into
 repo instead of into shared directory.

---
 linux/Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/linux/Makefile b/linux/Makefile
index 169721c24..37b0cd2df 100644
--- a/linux/Makefile
+++ b/linux/Makefile
@@ -1,4 +1,4 @@
-RISCV := $(WALLY)# Changed to test linux build
+RISCV := $(RISCV)
 #BUILDROOT := ${RISCV}/buildroot-test
 BUILDROOT := buildroot
 IMAGES := ${BUILDROOT}/output/images
@@ -42,7 +42,7 @@ install:
 
 dumptvs:
 	export RISCV=$(RISCV)
-	mkdir -p ../linux-testvectors 
+	mkdir -p $(RISCV)/linux-testvectors 
 	cd testvector-generation; ./genInitMem.sh
 
 # Temp rule for debugging