summary refs log tree commit diff
path: root/scripts-dev/lint.sh
diff options
context:
space:
mode:
Diffstat (limited to 'scripts-dev/lint.sh')
-rwxr-xr-xscripts-dev/lint.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts-dev/lint.sh b/scripts-dev/lint.sh
index 66b0568858..0647993658 100755
--- a/scripts-dev/lint.sh
+++ b/scripts-dev/lint.sh
@@ -11,7 +11,7 @@ if [ $# -ge 1 ]
 then
   files=$*
 else
-  files="synapse tests scripts-dev scripts"
+  files="synapse tests scripts-dev scripts contrib synctl"
 fi
 
 echo "Linting these locations: $files"