From 6a39fa36c4be2010899d4a3e2ac8b0d0ce801ff4 Mon Sep 17 00:00:00 2001
From: AnturK <AnturK@users.noreply.github.com>
Date: Wed, 24 Jun 2020 10:52:59 +0200
Subject: [PATCH] I welcome less janky solution to this.

---
 tools/travis/check_grep.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/travis/check_grep.sh b/tools/travis/check_grep.sh
index 231521ef168..744d7353ff9 100755
--- a/tools/travis/check_grep.sh
+++ b/tools/travis/check_grep.sh
@@ -66,7 +66,7 @@ do
             echo "found invalid file reference to $filename in _maps/$json"
             st=1
         fi
-    done < <(jq -r '.map_file' $json)
+    done < <(jq -r '[.map_file] | flatten | .[]' $json)
 done
 
 exit $st