diff options
| author |  Gil <mcg@google.com> | 2018-05-05 08:10:51 -0700 |
|---|---|---|
| committer |  GitHub <noreply@github.com> | 2018-05-05 08:10:51 -0700 |
| commit | a080e481b5e6fcbc2b645920051cf20fc8cad7a7 (patch) | |
| tree | 5d5ce3d39be316ac82a2fd34c92b05fc9e67f83a /scripts | |
| parent | d158e420c6fa04997ee3d2a6c44fd53a52883d81 (diff) | |
Port FSTDocumentKeySet to C++ DocumentKeySet (#1229)
* Define a Comparator for DocumentKey
* Automated migration from FSTDocumentKeySet to DocumentKeySet
* Manual fixups for DocumentKeySet
* Delete FSTDocumentKeySet
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/lint.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/lint.sh b/scripts/lint.sh index 9e33c87..d474129 100755 --- a/scripts/lint.sh +++ b/scripts/lint.sh @@ -60,7 +60,7 @@ objc_lint_options=( if [[ $# -gt 0 ]]; then # Interpret any command-line argument as a revision range - command=(git diff --name-only) + command=(git diff --name-only --diff-filter=ACMR) git_options+=("$@") else |