diff options
| author | Ryan Dahl <ry@tinyclouds.org> | 2018-06-27 11:48:19 +0200 |
|---|---|---|
| committer | Ryan Dahl <ry@tinyclouds.org> | 2018-06-28 21:56:53 +0200 |
| commit | 467408c6dccd6ea58792fcf28d166c6fe7304eda (patch) | |
| tree | 570fda9e1c69ddc57a2a639bd9aeaa24d0f90e77 /src/tools/lint.sh | |
| parent | c2deb54daf4e4b207d21171fb723b5c7c378a30b (diff) | |
Reorg: Move tools/ and gitignore to root.
Diffstat (limited to 'src/tools/lint.sh')
| -rwxr-xr-x | src/tools/lint.sh | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/src/tools/lint.sh b/src/tools/lint.sh deleted file mode 100755 index 64a452f0a..000000000 --- a/src/tools/lint.sh +++ /dev/null @@ -1,4 +0,0 @@ -#!/bin/sh -cd `dirname "$0"`/.. -set -e -v -cpplint --filter=-build/include_subdir --repository=. *.cc *.h include/*.h |