From 1d0407ae6dafcfdf721d94e3bf2e8f70ded85722 2018-11-22 00:27:50 From: Unknown 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