From b04b549b345de4f3dab566ac73eb905160955956 Mon Sep 17 00:00:00 2001
From: Benoit Blanchon <git@benoitblanchon.fr>
Date: Mon, 27 Jan 2020 12:09:38 +0100
Subject: [PATCH] Delete .bak file produced during publish

---
 extras/scripts/build-single-header.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/extras/scripts/build-single-header.sh b/extras/scripts/build-single-header.sh
index 04d96b4a..d2346b06 100755
--- a/extras/scripts/build-single-header.sh
+++ b/extras/scripts/build-single-header.sh
@@ -55,6 +55,7 @@ process()
 
 simplify_namespaces() {
 	perl -p0i -e 's|\}  // namespace ARDUINOJSON_NAMESPACE\r?\nnamespace ARDUINOJSON_NAMESPACE \{\r?\n||igs' "$1"
+	rm -f "$1.bak"
 }
 
 cd $(dirname $0)/../..