From 6017766afd783fd05239c06c94e795207e66c394 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Beno=C3=AEt=20Blanchon?=
 <bblanchon@users.noreply.github.com>
Date: Wed, 4 Sep 2019 16:45:50 +0200
Subject: [PATCH] [arduinojson] Update fuzzers' path (#2793)

The code of the fuzzers moved from `fuzzing/` to `extras/fuzzing/`.
See https://github.com/bblanchon/ArduinoJson/issues/1011
---
 projects/arduinojson/build.sh | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/projects/arduinojson/build.sh b/projects/arduinojson/build.sh
index db82ac49e..c5ebc245f 100644
--- a/projects/arduinojson/build.sh
+++ b/projects/arduinojson/build.sh
@@ -15,6 +15,5 @@
 #
 ################################################################################
 
-# build fuzzers
-cd fuzzing
+cd extras/fuzzing
 make