diff --git a/board/common/overlay/etc/init.d/rcK b/board/common/overlay/etc/init.d/rcK index 0b1d9bd373..8e7efc8d30 100755 --- a/board/common/overlay/etc/init.d/rcK +++ b/board/common/overlay/etc/init.d/rcK @@ -5,7 +5,8 @@ PID_FILE=/tmp/rc.pid source /etc/init.d/base -echo "---- shutting down ${OS_NAME} ${OS_VERSION} ----" >> ${BOOT_LOG} +echo +echo "---- shutting down ${OS_NAME} ${OS_VERSION} ----" | tee -a ${BOOT_LOG} # stop all init scripts in /etc/init.d, # executing them in reverse numerical order. @@ -19,4 +20,3 @@ pid=$(cat ${PID_FILE}) while kill -0 ${pid} 2>/dev/null; do sleep 1 done - diff --git a/board/common/overlay/etc/init.d/rcS b/board/common/overlay/etc/init.d/rcS index 5c3874f08d..44638ea011 100755 --- a/board/common/overlay/etc/init.d/rcS +++ b/board/common/overlay/etc/init.d/rcS @@ -12,7 +12,7 @@ set +a source /etc/init.d/base -echo "---- booting ${OS_NAME} ${OS_VERSION} ----" >> ${TMP_BOOT_LOG} +echo "---- booting ${OS_NAME} ${OS_VERSION} ----" | tee -a ${TMP_BOOT_LOG} # start all init scripts in /etc/init.d, # executing them in numerical order. @@ -28,4 +28,3 @@ while kill -0 ${pid} 2>/dev/null; do done test -d $(dirname ${BOOT_LOG}) && cat ${TMP_BOOT_LOG} >> ${BOOT_LOG} -