Small fix in creating build log file

This commit is contained in:
Gijs Noorlander
2019-09-25 23:11:25 +02:00
committed by GitHub
parent cca6da0074
commit cbce2dda1b
+2 -2
View File
@@ -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