diff options
author | Jakob Borg <jakob@kastelo.net> | 2017-07-15 17:06:06 +0200 |
---|---|---|
committer | Jakob Borg <jakob@kastelo.net> | 2017-07-15 17:06:22 +0200 |
commit | 6623657ef34df9e4c703c377021cb79404f09e28 (patch) | |
tree | d61feea0e1aeb79e08a7b62e1d1c3fd91cde982a /build.sh | |
parent | 4405117bea28a653d427207a60bac3ca297c9484 (diff) | |
download | syncthing-6623657ef34df9e4c703c377021cb79404f09e28.tar.gz syncthing-6623657ef34df9e4c703c377021cb79404f09e28.zip |
build: The default build step already includes linting
Diffstat (limited to 'build.sh')
-rwxr-xr-x | build.sh | 1 |
1 files changed, 0 insertions, 1 deletions
@@ -17,7 +17,6 @@ build() { case "${1:-default}" in default) build - build lint ;; clean) |