##// END OF EJS Templates
binsh doesnt support pushd and popd
Unknown -
r396:1d0407ae6daf
parent child
Show More
@@ -87,7 +87,7 if [ "$BUILD_KERNEL" = true ] ; then
87 87 # Load default raspberry kernel configuration
88 88 make -C "${KERNEL_DIR}" ARCH="${KERNEL_ARCH}" CROSS_COMPILE="${CROSS_COMPILE}" "${KERNEL_DEFCONFIG}"
89 89 #Switch to KERNELSRC_DIR
90 pushd "${KERNEL_DIR}"
90 cd "${KERNEL_DIR}"
91 91
92 92 # GPL v2.0
93 93 #https://github.com/sakaki-/bcmrpi3-kernel-bis/blob/master/conform_config.sh
@@ -214,7 +214,7 if [ "$BUILD_KERNEL" = true ] ; then
214 214 fi
215 215
216 216 #Revert to previous directory
217 popd
217 cd "${R}"
218 218
219 219 # Set kernel configuration parameters to enable qemu emulation
220 220 if [ "$ENABLE_QEMU" = true ] ; then
General Comments 0
Vous devez vous connecter pour laisser un commentaire. Se connecter maintenant