From 0c9fb68846e1a90bb84252ae2b4e58c3be523926 Mon Sep 17 00:00:00 2001
From: Adam Short <ashort11@vols.utk.edu>
Date: Tue, 8 Oct 2019 23:23:26 -0400
Subject: [PATCH] Fixed do.sh to remove Linux build directory

Originally, the do.sh script would remove the linux folder, not the
build folder.
---
 risc_v/ch0/do.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/risc_v/ch0/do.sh b/risc_v/ch0/do.sh
index 5640ddc..5cc3c6b 100644
--- a/risc_v/ch0/do.sh
+++ b/risc_v/ch0/do.sh
@@ -247,7 +247,7 @@ if [ $ARG -eq 99 ]; then
 	echo "+-+-+-+ CLEANING +-+-+-+"
 	${USE_SUDO} rm -fr ${BUILD_BINUTILS}
 	${USE_SUDO} rm -fr ${BUILD_GCC_S1}
-	${USE_SUDO} rm -fr ${BUILD_LINUX}
+	${USE_SUDO} rm -fr ${BUILD_LINUX_HEADERS}
 	${USE_SUDO} rm -fr ${BUILD_GLIBC_S1}
 	${USE_SUDO} rm -fr ${BUILD_GLIBC_S2}
 	${USE_SUDO} rm -fr ${BUILD_GCC_S2}