From 1d0407ae6dafcfdf721d94e3bf2e8f70ded85722 2018-11-22 00:27:50
From: Unknown <xyz258@abwesend.de>
Date: 2018-11-22 00:27:50
Subject: [PATCH] binsh doesnt support pushd and popd


---

diff --git a/bootstrap.d/13-kernel.sh b/bootstrap.d/13-kernel.sh
index 2dd2f0f..a7191a3 100644
--- a/bootstrap.d/13-kernel.sh
+++ b/bootstrap.d/13-kernel.sh
@@ -87,7 +87,7 @@ if [ "$BUILD_KERNEL" = true ] ; then
       # Load default raspberry kernel configuration
       make -C "${KERNEL_DIR}" ARCH="${KERNEL_ARCH}" CROSS_COMPILE="${CROSS_COMPILE}" "${KERNEL_DEFCONFIG}"
       #Switch to KERNELSRC_DIR
-      pushd "${KERNEL_DIR}"
+      cd "${KERNEL_DIR}"
 
       # GPL v2.0
       #https://github.com/sakaki-/bcmrpi3-kernel-bis/blob/master/conform_config.sh
@@ -214,7 +214,7 @@ if [ "$BUILD_KERNEL" = true ] ; then
 	  fi
 
 	  #Revert to previous directory
-	  popd
+	  cd "${R}"
 
       # Set kernel configuration parameters to enable qemu emulation
       if [ "$ENABLE_QEMU" = true ] ; then