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