From 9925772db0b828745bdc82a0038784edb0903a55 Mon Sep 17 00:00:00 2001
From: pacucha42 <38914089+pacucha42@users.noreply.github.com>
Date: Tue, 10 Jul 2018 11:26:19 +0200
Subject: [PATCH] * update 'version' in platform.txt (#1619)

---
 tools/build-release.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/tools/build-release.sh b/tools/build-release.sh
index 20eb94df..4a6cad4e 100755
--- a/tools/build-release.sh
+++ b/tools/build-release.sh
@@ -229,6 +229,7 @@ find $outdir -name '*.DS_Store' -exec rm -f {} \;
 # handles tool paths differently when package is installed in hardware folder
 echo " - updating platform.txt..."
 cat $srcdir/platform.txt | \
+sed "s/version=.*/version=$ver$extent/g" | \
 sed 's/runtime.tools.xtensa-esp32-elf-gcc.path={runtime.platform.path}\/tools\/xtensa-esp32-elf//g' | \
 sed 's/tools.esptool.path={runtime.platform.path}\/tools\/esptool/tools.esptool.path=\{runtime.tools.esptool.path\}/g' \
  > $outdir/platform.txt