diff options
Diffstat (limited to 'scripts-dev/lint.sh')
| -rwxr-xr-x | scripts-dev/lint.sh | 2 |
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" |