From 5b87cc00f2f8ee3bad3ddf380d532f3ad0f4065b Mon Sep 17 00:00:00 2001
From: Alexander Rashed <alexander.rashed@gmail.com>
Date: Tue, 30 Apr 2019 17:24:04 +0200
Subject: [PATCH] Fix kernel source cleanup

---
 scripts/getKernelSourcesNoGUI.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/getKernelSourcesNoGUI.sh b/scripts/getKernelSourcesNoGUI.sh
index 9741a4c..1d75c38 100755
--- a/scripts/getKernelSourcesNoGUI.sh
+++ b/scripts/getKernelSourcesNoGUI.sh
@@ -7,7 +7,7 @@ wget -N https://developer.download.nvidia.com/embedded/L4T/r32_Release_v1.0/jax-
 sudo tar -xvf JAX-TX2-public_sources.tbz2 public_sources/kernel_src.tbz2
 tar -xvf public_sources/kernel_src.tbz2
 # Space is tight; get rid of the compressed kernel source
-rm -r public_release
+rm -r public_sources
 cd kernel/kernel-4.9
 # Go get the default config file; this becomes the new system configuration
 zcat /proc/config.gz > .config