From cbce2dda1b19752956d702745d14ee15ce77894c Mon Sep 17 00:00:00 2001 From: Gijs Noorlander Date: Wed, 25 Sep 2019 23:11:25 +0200 Subject: [PATCH] Small fix in creating build log file --- before_deploy | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/before_deploy b/before_deploy index 93baf945d..1965963bc 100755 --- a/before_deploy +++ b/before_deploy @@ -3,7 +3,7 @@ VERSION=$(git describe) TMP_DIST=`mktemp -d` CURPATH=`pwd` -BUILD_LOG=`echo "{TMP_DIST}/buildlog.txt"` +BUILD_LOG=`echo "${TMP_DIST}/buildlog.txt"` # PIO 3.x : # BINARY_PATH=".pioenvs" @@ -107,7 +107,7 @@ do echo "Build FAILED: No file created." >> ${BUILD_LOG} fi - echo "\n" >> ${BUILD_LOG} + echo "---" >> ${BUILD_LOG} ELFFILE=`echo "${BINARY_PATH}/${ENV}/firmware.elf"` if [ -f $ELFFILE ]; then